Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
#14048: Data instances of kind Constraint

Hask

LiftC1 :: (k1 -> k2 -> Constraint) -> (k -> k1) -> (k -> k2) -> (k -> Constraint)
Lift1  :: (k1 -> k2 -> Type)       -> (k -> k1) -> (k -> k2) -> (k -> Type)

LiftC2 :: (k1 -> k2 -> k' -> Constraint) -> (k -> k1) -> (k -> k2) -> (k -> k' -> Constraint)
Lift2  :: (k1 -> k2 -> k' -> Type)       -> (k -> k1) -> (k -> k2) -> (k -> k' -> Type)
@Icelandjack
Copy link
Author

Icelandjack commented Aug 3, 2017

Const

Const1  :: Type       -> const -> Type
Const1C :: Constraint -> const -> Constraint

Const2  :: (k -> Type)      -> (cont -> (k -> Type))
Const2C :: (k -> Constraint) -> (cont -> (k -> Constraint))

@Icelandjack
Copy link
Author

Icelandjack commented Aug 3, 2017

Units, products, composition, identity can all be transported to the world of constraints

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment