Compiler.Typesystem.SimplyTyped

Documentation

data SimplyTyped m

Data type describing a type system for simply-typed lambda calculus (λ→).

Constructors

Mono m

Function (SimplyTyped m) (SimplyTyped m)

Instances

Functor SimplyTyped

Methods

fmap :: (a -> b) -> SimplyTyped a -> SimplyTyped b

(<$) :: a -> SimplyTyped b -> SimplyTyped a

Foldable SimplyTyped

Methods

fold :: Monoid m => SimplyTyped m -> m

foldMap :: Monoid m => (a -> m) -> SimplyTyped a -> m

foldr :: (a -> b -> b) -> b -> SimplyTyped a -> b

foldr' :: (a -> b -> b) -> b -> SimplyTyped a -> b

foldl :: (b -> a -> b) -> b -> SimplyTyped a -> b

foldl' :: (b -> a -> b) -> b -> SimplyTyped a -> b

foldr1 :: (a -> a -> a) -> SimplyTyped a -> a

foldl1 :: (a -> a -> a) -> SimplyTyped a -> a

toList :: SimplyTyped a -> [a]

null :: SimplyTyped a -> Bool

length :: SimplyTyped a -> Int

elem :: Eq a => a -> SimplyTyped a -> Bool

maximum :: Ord a => SimplyTyped a -> a

minimum :: Ord a => SimplyTyped a -> a

sum :: Num a => SimplyTyped a -> a

product :: Num a => SimplyTyped a -> a

Eq m => Eq (SimplyTyped m)

Methods

(==) :: SimplyTyped m -> SimplyTyped m -> Bool

(/=) :: SimplyTyped m -> SimplyTyped m -> Bool

Data m => Data (SimplyTyped m)

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SimplyTyped m -> c (SimplyTyped m)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (SimplyTyped m)

toConstr :: SimplyTyped m -> Constr

dataTypeOf :: SimplyTyped m -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (SimplyTyped m))

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (SimplyTyped m))

gmapT :: (forall b. Data b => b -> b) -> SimplyTyped m -> SimplyTyped m

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SimplyTyped m -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SimplyTyped m -> r

gmapQ :: (forall d. Data d => d -> u) -> SimplyTyped m -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> SimplyTyped m -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SimplyTyped m -> m (SimplyTyped m)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SimplyTyped m -> m (SimplyTyped m)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SimplyTyped m -> m (SimplyTyped m)

Ord m => Ord (SimplyTyped m)

Methods

compare :: SimplyTyped m -> SimplyTyped m -> Ordering

(<) :: SimplyTyped m -> SimplyTyped m -> Bool

(<=) :: SimplyTyped m -> SimplyTyped m -> Bool

(>) :: SimplyTyped m -> SimplyTyped m -> Bool

(>=) :: SimplyTyped m -> SimplyTyped m -> Bool

max :: SimplyTyped m -> SimplyTyped m -> SimplyTyped m

min :: SimplyTyped m -> SimplyTyped m -> SimplyTyped m

Read m => Read (SimplyTyped m)

Methods

readsPrec :: Int -> ReadS (SimplyTyped m)

readList :: ReadS [SimplyTyped m]

readPrec :: ReadPrec (SimplyTyped m)

readListPrec :: ReadPrec [SimplyTyped m]

Show m => Show (SimplyTyped m)

Methods

showsPrec :: Int -> SimplyTyped m -> ShowS

show :: SimplyTyped m -> String

showList :: [SimplyTyped m] -> ShowS

Lift m0 => Lift (SimplyTyped m0)

Methods

lift :: SimplyTyped m0 -> Q Exp

(Data m, Arbitrary m) => Arbitrary (SimplyTyped m)

Methods

arbitrary :: Gen (SimplyTyped m)

shrink :: SimplyTyped m -> [SimplyTyped m]

Ord m => SimpleType (SimplyTyped m)

Associated Types

type MonoType (SimplyTyped m) :: *

Methods

abstract :: SimplyTyped m -> SimplyTyped m -> SimplyTyped m

reify :: SimplyTyped m -> Maybe (SimplyTyped m, SimplyTyped m)

bases :: SimplyTyped m -> Set (SimplyTyped m)

mono :: MonoType (SimplyTyped m) -> SimplyTyped m

equivalent :: SimplyTyped m -> SimplyTyped m -> Bool

(Ord m, Ord c, Ord v) => Typecheckable (LambdaTerm c v) (SimplyTyped m)

Associated Types

type TypingContext (LambdaTerm c v :: * -> *) (SimplyTyped m) :: *

type TypeError (LambdaTerm c v :: * -> *) (SimplyTyped m) :: *

Methods

typecheck :: TypingContext (LambdaTerm c v) (SimplyTyped m) -> LambdaTerm c v (SimplyTyped m) -> Either [TypeError (LambdaTerm c v) (SimplyTyped m)] (TypingContext (LambdaTerm c v) (SimplyTyped m), SimplyTyped m)

type MonoType (SimplyTyped m)

type MonoType (SimplyTyped m) = m

type TypingContext (LambdaTerm c v) (SimplyTyped m)

type TypingContext (LambdaTerm c v) (SimplyTyped m) = SimpleTypingContext c v (SimplyTyped m)

type TypeError (LambdaTerm c v) (SimplyTyped m)

type TypeError (LambdaTerm c v) (SimplyTyped m) = ErrorContext' (LambdaTerm c v) (SimplyTyped m) (SimplyTypedErr c v (SimplyTyped m))

data SimplyTypedErr c v t

Constructors

STNotKnownErr (NotKnownErr c v t)

STSimpleTypeErr (SimpleTypeErr t)

Instances

(Eq c, Eq v, Eq t) => Eq (SimplyTypedErr c v t)

Methods

(==) :: SimplyTypedErr c v t -> SimplyTypedErr c v t -> Bool

(/=) :: SimplyTypedErr c v t -> SimplyTypedErr c v t -> Bool

(Ord c, Ord v, Ord t) => Ord (SimplyTypedErr c v t)

Methods

compare :: SimplyTypedErr c v t -> SimplyTypedErr c v t -> Ordering

(<) :: SimplyTypedErr c v t -> SimplyTypedErr c v t -> Bool

(<=) :: SimplyTypedErr c v t -> SimplyTypedErr c v t -> Bool

(>) :: SimplyTypedErr c v t -> SimplyTypedErr c v t -> Bool

(>=) :: SimplyTypedErr c v t -> SimplyTypedErr c v t -> Bool

max :: SimplyTypedErr c v t -> SimplyTypedErr c v t -> SimplyTypedErr c v t

min :: SimplyTypedErr c v t -> SimplyTypedErr c v t -> SimplyTypedErr c v t

(Show c, Show v, Show t) => Show (SimplyTypedErr c v t)

Methods

showsPrec :: Int -> SimplyTypedErr c v t -> ShowS

show :: SimplyTypedErr c v t -> String

showList :: [SimplyTypedErr c v t] -> ShowS