LambdaCube.Compiler.InferMonad

Documentation

data ErrorMsg

Constructors

ErrorMsg Doc

ECantFind SName SI

ETypeError Doc SI

ERedefined SName SI SI

Instances

PShow ErrorMsg

Methods

pShow :: ErrorMsg -> Doc

errorRange_ :: ErrorMsg -> [SI]

data Info

Constructors

Info Range Doc

IType SIName Exp

ITrace String String

IError ErrorMsg

ParseWarning ParseWarning

Instances

PShow Info

Methods

pShow :: Info -> Doc

errorRange :: [Info] -> [Range]

type Infos = [Info]

throwError' :: (MonadError ErrorMsg m, MonadWriter [Info] m) => ErrorMsg -> m b

mkInfoItem :: SI -> Doc -> [Info]

listAllInfos :: Maybe FileInfo -> [Info] -> [Doc]

listAllInfos' :: Maybe FileInfo -> [Info] -> [Doc]

listTraceInfos :: [Info] -> [Doc]

listTypeInfos :: [Info] -> [(Range, [Doc])]

listErrors :: [Info] -> [(Range, [Doc])]

listWarnings :: [Info] -> [(Range, [Doc])]

tellType :: (PShow a, SourceInfo a1, MonadWriter [Info] m) => a1 -> a -> m ()

type GlobalEnv = Map SName (Exp, Type, SI)

initEnv :: GlobalEnv

type IM m = ExceptT ErrorMsg (ReaderT (Extensions, GlobalEnv) (WriterT Infos m))

expAndType :: t1 -> (Exp, Type, t) -> ExpType

lookupName :: SName -> Map SName (Exp, Type, t) -> Maybe ExpType

getDef :: (MonadWriter [Info] m, MonadError ErrorMsg m, MonadReader (a, Map SName (Exp, Type, t)) m) => t1 -> SI -> SName -> m ExpType

addToEnv :: Monad m => SIName -> ExpType -> IM m GlobalEnv

removeHiddenUnit :: Exp -> Exp

addParams :: Foldable t => t (Visibility, Exp) -> Exp -> Exp

addLams :: Foldable t => t b -> Exp -> Exp

lamify :: Exp -> ([Exp] -> Exp) -> Exp

lamify' :: Exp -> ([Exp] -> Exp) -> Exp

arity :: Exp -> Int

downTo :: Int -> Int -> [Exp]

downTo' :: Int -> Int -> [Exp]

withEnv :: (Monoid b, MonadReader (d, b) m) => b -> m a -> m a

lamPi :: Visibility -> Exp -> ExpType -> ExpType

ambiguityCheck :: String -> Exp -> Maybe String

ambigVars :: Exp -> [(Int, Exp)]

floatLetMeta :: Exp -> Bool

compDefined :: Bool -> Exp -> (Set Int, [(Int, Exp)], Int)

free :: HasFreeVars a => a -> Set Int

hiddenVars :: Exp -> ([Exp], Exp)

dependentVars :: [(Int, Exp)] -> Set Int -> Set Int