Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Typing for Core.
- data Type :: * -> * where
- class Typed a where
- typeOf :: Type a
- simpleType :: Type a -> SimpleType
- data UType = forall a . UType {}
- data SimpleType
Documentation
simpleType :: Type a -> SimpleType Source