Skip to content

Instantly share code, notes, and snippets.

@Icelandjack

Icelandjack/14048.markdown

Created August 3, 2017 01:27
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Icelandjack/378d0b38e8043d68c8c78c62659cdb3d to your computer and use it in GitHub Desktop.
Save Icelandjack/378d0b38e8043d68c8c78c62659cdb3d to your computer and use it in GitHub Desktop.
Download ZIP
#14048: Data instances of kind Constraint
Raw
14048.markdown

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

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

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