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))
- class Yes f a
- class Yes2 f a b
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