Datafix.Utils.Constraints

Universally quantified constraints, until we have -XQuantifiedConstraints.

Documentation

data Dict :: Constraint -> Type where

Constructors

Dict :: c => Dict c

newtype a :- b

Constructors

Sub (a => Dict b)

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

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

type family Forall (p :: k -> Constraint) :: Constraint

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

Instances

type Forall k p

type Forall k p

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