Copyright | (c) Conal Elliott 2009 |
---|---|
License | BSD3 |
Maintainer | conal@conal.net |
Stability | experimental |
Safe Haskell | None |
Language | Haskell98 |
Type class for typed type representations
- class IsTy f where
- type IsTyConstraint f z :: Constraint
- class IsTy2 f where
- type IsTy2Constraint f u v :: Constraint
- class Yes f a
- class Yes2 f a b
Documentation
Type class for typed type representations
type IsTyConstraint f z :: Constraint Source #
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 :: Constraint Source #
tyEq2 :: (IsTy2Constraint f a b, IsTy2Constraint f c d) => f a b -> f c d -> Maybe ((a, b) :=: (c, d)) Source #