Stability | experimental |
---|---|
Maintainer | conal@conal.net |
Safe Haskell | None |
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
type IsTyConstraint ty z :: ConstraintSource
tyEq :: (IsTyConstraint ty a, IsTyConstraint ty b) => ty a -> ty b -> Maybe (a :=: b)Source