Stability | experimental |
---|---|

Maintainer | conal@conal.net |

Safe Haskell | None |

Type class for typed type representations

- class IsTy f where
- type IsTyConstraint f z :: Constraint
- tyEq :: (IsTyConstraint f a, IsTyConstraint f b) => f a -> f b -> Maybe (a :=: b)

- class IsTy2 f where
- type IsTy2Constraint f u v :: Constraint
- tyEq2 :: (IsTy2Constraint f a b, IsTy2Constraint f c d) => f a b -> f c d -> Maybe ((a, b) :=: (c, d))

# Documentation

Type class for typed type representations

type IsTyConstraint f z :: ConstraintSource

tyEq :: (IsTyConstraint f a, IsTyConstraint f b) => f a -> f b -> Maybe (a :=: b)Source

Type class for typed type representations

type IsTy2Constraint f u v :: ConstraintSource

tyEq2 :: (IsTy2Constraint f a b, IsTy2Constraint f c d) => f a b -> f c d -> Maybe ((a, b) :=: (c, d))Source