Datafix.Utils.Constraints

Description

Universally quantified constraints, until we have -XQuantifiedConstraints.

Synopsis

Documentation

Constructors

Dict :: c => Dict c

newtype a :- b Source #

Constructors

Sub (a => Dict b)

(\\) :: a => (b => r) -> (a :- b) -> r infixl 1 Source #

Given that a :- b, derive something that needs a context b, using the context a

A representation of the quantified constraint forall a. p a.

Instances

type Forall (p :: k -> Constraint) Source #
Instance details Defined in Datafix.Utils.Constraints type Forall (p :: k -> Constraint)

inst :: forall p a. Forall p :- p a Source #