Safe Haskell | Safe-Infered |
---|
Copilot.Core.Type
Description
- data Type where
- class Typed a where
- typeOf :: Type a
- simpleType :: Type a -> SimpleType
- data UType = forall a . UType {}
- data SimpleType
copilot-core-0.2.3: An intermediate representation for Copilot.
Safe Haskell | Safe-Infered |
---|
Copilot.Core.Type
Description