| Copyright | (c) Conal Elliott 2009 |
|---|---|
| License | BSD3 |
| Maintainer | conal@conal.net |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell98 |
Data.IsTy
Description
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
Minimal complete definition
Associated Types
type IsTyConstraint f z :: Constraint Source #
Methods
tyEq :: (IsTyConstraint f a, IsTyConstraint f b) => f a -> f b -> Maybe (a :=: b) Source #
Type class for typed type representations
Minimal complete definition
Associated Types
type IsTy2Constraint f u v :: Constraint Source #
Methods
tyEq2 :: (IsTy2Constraint f a b, IsTy2Constraint f c d) => f a b -> f c d -> Maybe ((a, b) :=: (c, d)) Source #