| Stability | experimental |
|---|---|
| Maintainer | conal@conal.net |
| Safe Haskell | None |
Data.IsTy
Description
Type class for typed type representations
- class IsTy ty where
- type IsTyConstraint ty z :: Constraint
- tyEq :: (IsTyConstraint ty a, IsTyConstraint ty b) => ty a -> ty b -> Maybe (a :=: b)
Documentation
Type class for typed type representations
Associated Types
type IsTyConstraint ty z :: ConstraintSource
Methods
tyEq :: (IsTyConstraint ty a, IsTyConstraint ty b) => ty a -> ty b -> Maybe (a :=: b)Source