Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data SimplyTyped m
- = Mono m
- | Function (SimplyTyped m) (SimplyTyped m)
- data SimplyTypedErr c v t
- = STNotKnownErr (NotKnownErr c v t)
- | STSimpleTypeErr (SimpleTypeErr t)
Documentation
data SimplyTyped m Source #
Data type describing a type system for simply-typed lambda calculus (λ→).
Mono m | |
Function (SimplyTyped m) (SimplyTyped m) |
Functor SimplyTyped Source # | |
Foldable SimplyTyped Source # | |
Eq m => Eq (SimplyTyped m) Source # | |
Data m => Data (SimplyTyped m) Source # | |
Ord m => Ord (SimplyTyped m) Source # | |
Read m => Read (SimplyTyped m) Source # | |
Show m => Show (SimplyTyped m) Source # | |
Lift m0 => Lift (SimplyTyped m0) Source # | |
(Data m, Arbitrary m) => Arbitrary (SimplyTyped m) Source # | |
Ord m => SimpleType (SimplyTyped m) Source # | |
(Ord m, Ord c, Ord v) => Typecheckable (LambdaTerm c v) (SimplyTyped m) Source # | |
type MonoType (SimplyTyped m) Source # | |
type TypingContext (LambdaTerm c v) (SimplyTyped m) Source # | |
type TypeError (LambdaTerm c v) (SimplyTyped m) Source # | |
data SimplyTypedErr c v t Source #
STNotKnownErr (NotKnownErr c v t) | |
STSimpleTypeErr (SimpleTypeErr t) |