Documentation

typeOf :: (HasTyEnv s, MonadState (s a) m, MonadError (DickinsonError a) m) => Expression a -> m (DickinsonTy a) Source #

tyAdd :: (HasTyEnv s, MonadState (s a) m, MonadError (DickinsonError a) m) => Declaration a -> m () Source #

tyAddDecl :: (HasTyEnv s, MonadState (s a) m) => Declaration a -> m () Source #

tyTraverse :: (HasTyEnv s, MonadState (s a) m, MonadError (DickinsonError a) m) => [Declaration a] -> m () Source #

tyRun :: [Declaration a] -> Either (DickinsonError a) () Source #

emptyTyEnv :: TyEnv a Source #

runTypeM :: TypeM a x -> Either (DickinsonError a) x Source #

type TypeM a = ExceptT (DickinsonError a) (State (TyEnv a)) Source #

data TyEnv a Source #

class HasTyEnv f where Source #