Safe Haskell	None
Language	Haskell2010

LambdaCube.Compiler.Infer

Documentation

data Binder Source

Constructors

BPi Visibility
BLam Visibility
BMeta

Instances

Eq Binder Source
Show Binder Source

type SName = String Source

data Lit Source

Constructors

LInt Integer
LChar Char
LFloat Double
LString String

Instances

Eq Lit Source
Show Lit Source

data Visibility Source

Constructors

Hidden
Visible

Instances

Eq Visibility Source
Show Visibility Source

data Exp Source

Constructors

TType
ELit_ Lit
Con_ !MaxDB ConName !Int [Exp]
TyCon_ !MaxDB TyConName [Exp]
Pi_ !MaxDB Visibility Exp Exp
Lam_ !MaxDB Exp
Neut Neutral

Instances

Eq Exp Source
Show Exp Source
PShow Exp Source
Up Exp Source
Subst Exp Exp Source

data Neutral Source

Constructors

Fun_ !MaxDB FunName [Exp] !Int [Exp] Neutral
CaseFun__ !MaxDB CaseFunName [Exp] Neutral
TyCaseFun__ !MaxDB TyCaseFunName [Exp] Neutral
App__ !MaxDB Neutral Exp
Var_ !Int
LabelEnd_ Exp
Delta (SData ([Exp] -> Exp))

Instances

Eq Neutral Source
Show Neutral Source
Up Neutral Source

type ExpType = (Exp, Type) Source

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

pattern Var :: Int -> Exp Source

pattern CaseFun :: CaseFunName -> [Exp] -> Neutral -> Exp Source

pattern TyCaseFun :: TyCaseFunName -> [Exp] -> Neutral -> Exp Source

pattern App_ :: Neutral -> Exp -> Neutral Source

app_ :: Exp -> Exp -> Exp infixl 2 Source

pattern Con :: ConName -> Int -> [Exp] -> Exp Source

pattern TyCon :: TyConName -> [Exp] -> Exp Source

pattern Pi :: Visibility -> Exp -> Exp -> Exp Source

pattern Lam :: Exp -> Exp Source

pattern Fun :: FunName -> Int -> [Exp] -> Neutral -> Neutral Source

pattern ELit :: Lit -> Exp Source

pattern Func :: FName -> Exp -> Type -> [Exp] -> Exp Source

pattern LabelEnd :: Exp -> Exp Source

pattern FL :: Exp -> Exp Source

pattern UFL :: Exp -> Exp Source

unFunc_ :: Exp -> Maybe Exp Source

outputType :: Exp Source

boolType :: Exp Source

trueExp :: Exp Source

down :: (Subst Exp a, Up a) => Int -> a -> Maybe a Source

class Subst b a where Source

Methods

subst_ :: Int -> MaxDB -> b -> a -> a Source

Instances

Subst Exp Exp Source
(Subst x a, Subst x b) => Subst x (a, b) Source

free :: Up a => a -> Set Int Source

subst :: (Up b, Subst b a) => Int -> b -> a -> a Source

initEnv :: GlobalEnv Source

data Env Source

Constructors

EBind1 SI Binder Env SExp2
EBind2_ SI Binder Type Env
EApp1 SI Visibility Env SExp2
EApp2 SI Visibility ExpType Env
ELet1 SIName Env SExp2
ELet2 SIName ExpType Env
EGlobal
ELabelEnd Env
EAssign Int ExpType Env
CheckType_ SI Type Env
CheckIType SExp2 Env
CheckAppType SI Visibility Type Env SExp2

Instances

Show Env Source
PShow Env Source

pattern EBind2 :: Binder -> Type -> Env -> Env Source

data SI Source

Constructors

NoSI (Set String)
RangeSI Range

Instances

Eq SI Source
Ord SI Source
Show SI Source
Monoid SI Source
NFData SI Source
PShow SI Source
SourceInfo SI Source

data Range Source

Constructors

Range SourcePos SourcePos

Instances

Eq Range Source
Ord Range Source
NFData Range Source
PShow Range Source

data Info Source

Constructors

Info Range String
IType String String
ITrace String String
IError ErrorMsg

Instances

Show Info Source
NFData Info Source

type Infos = [Info] Source

listAllInfos :: [Info] -> [[Char]] Source

listTypeInfos :: [Info] -> [(Range, [String])] Source

listTraceInfos :: [Info] -> [String] Source

inference :: MonadFix m => [Stmt] -> IM m [GlobalEnv] Source

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

nType :: NType a => a -> Type Source

conType :: Exp -> ConName -> Type Source

neutType :: Env -> Neutral -> Exp Source

neutType' :: [Exp] -> Neutral -> Exp Source

appTy :: (Up b, Subst b Exp) => Exp -> b -> Exp Source

mkConPars :: Int -> Exp -> [Exp] Source

makeCaseFunPars :: Env -> Neutral -> [Exp] Source

makeCaseFunPars' :: [Exp] -> Neutral -> [Exp] Source

data MaxDB Source

Instances

Show MaxDB Source
Monoid MaxDB Source

unfixlabel :: Exp -> Exp Source

data ErrorMsg Source

Instances

Show ErrorMsg Source
NFData ErrorMsg Source

showError :: Map FilePath String -> ErrorMsg -> String Source

errorRange :: [Info] -> [Range] Source

data FName Source

Instances

Eq FName Source
Ord FName Source
Show FName Source

CFName !Int (SData String)
FVecScalar
FEqCT
FT2
Fcoe
FparEval
Ft2C
FprimFix
FUnit
FInt
FWord
FNat
FBool
FFloat
FString
FChar
FOrdering
FVecS
FEmpty
FHList
FEq
FOrd
FNum
FSigned
FComponent
FIntegral
FFloating
FOutput
FType
FHCons
FHNil
FZero
FSucc
FFalse
FTrue
FLT
FGT
FEQ
FTT
FNil
FCons
FSplit