Safe Haskell	None
Language	Haskell2010

LambdaCube.Compiler.Core

Documentation

data ConName Source #

Constructors

ConName FName Int Type

Instances

Eq ConName Source #
Methods (==) :: ConName -> ConName -> Bool # (/=) :: ConName -> ConName -> Bool #
Show ConName Source #
Methods showsPrec :: Int -> ConName -> ShowS # show :: ConName -> String # showList :: [ConName] -> ShowS #
PShow ConName Source #
Methods pShow :: ConName -> Doc Source #
HasFName ConName Source #
Methods getFName :: ConName -> FName Source #

data TyConName Source #

Constructors

TyConName FName Int Type [(ConName, Type)] CaseFunName

Instances

Eq TyConName Source #
Methods (==) :: TyConName -> TyConName -> Bool # (/=) :: TyConName -> TyConName -> Bool #
Show TyConName Source #
Methods showsPrec :: Int -> TyConName -> ShowS # show :: TyConName -> String # showList :: [TyConName] -> ShowS #
PShow TyConName Source #
Methods pShow :: TyConName -> Doc Source #
NType TyConName Source #
Methods nType :: TyConName -> Type Source #
HasFName TyConName Source #
Methods getFName :: TyConName -> FName Source #

data FunName Source #

Constructors

FunName FName Int FunDef Type

Instances

Eq FunName Source #
Methods (==) :: FunName -> FunName -> Bool # (/=) :: FunName -> FunName -> Bool #
Show FunName Source #
Methods showsPrec :: Int -> FunName -> ShowS # show :: FunName -> String # showList :: [FunName] -> ShowS #
PShow FunName Source #
Methods pShow :: FunName -> Doc Source #
NType FunName Source #
Methods nType :: FunName -> Type Source #
HasFName FunName Source #
Methods getFName :: FunName -> FName Source #

data CaseFunName Source #

Constructors

CaseFunName FName Type Int

Instances

Eq CaseFunName Source #
Methods (==) :: CaseFunName -> CaseFunName -> Bool # (/=) :: CaseFunName -> CaseFunName -> Bool #
Show CaseFunName Source #
Methods showsPrec :: Int -> CaseFunName -> ShowS # show :: CaseFunName -> String # showList :: [CaseFunName] -> ShowS #
PShow CaseFunName Source #
Methods pShow :: CaseFunName -> Doc Source #
NType CaseFunName Source #
Methods nType :: CaseFunName -> Type Source #
HasFName CaseFunName Source #
Methods getFName :: CaseFunName -> FName Source #

data TyCaseFunName Source #

Constructors

TyCaseFunName FName Type

Instances

Eq TyCaseFunName Source #
Methods (==) :: TyCaseFunName -> TyCaseFunName -> Bool # (/=) :: TyCaseFunName -> TyCaseFunName -> Bool #
Show TyCaseFunName Source #
Methods showsPrec :: Int -> TyCaseFunName -> ShowS # show :: TyCaseFunName -> String # showList :: [TyCaseFunName] -> ShowS #
PShow TyCaseFunName Source #
Methods pShow :: TyCaseFunName -> Doc Source #
NType TyCaseFunName Source #
Methods nType :: TyCaseFunName -> Type Source #
HasFName TyCaseFunName Source #
Methods getFName :: TyCaseFunName -> FName Source #

data FunDef Source #

Constructors

DeltaDef !Int (FreeVars -> [Exp] -> Exp)
NoDef
ExpDef Exp

class HasFName a where Source #

Minimal complete definition

getFName

Methods

getFName :: a -> FName Source #

Instances

HasFName TyCaseFunName Source #
Methods getFName :: TyCaseFunName -> FName Source #
HasFName CaseFunName Source #
Methods getFName :: CaseFunName -> FName Source #
HasFName FunName Source #
Methods getFName :: FunName -> FName Source #
HasFName TyConName Source #
Methods getFName :: TyConName -> FName Source #
HasFName ConName Source #
Methods getFName :: ConName -> FName Source #

data Freq Source #

Constructors

CompileTime
RunTime

Instances

Eq Freq Source #
Methods (==) :: Freq -> Freq -> Bool # (/=) :: Freq -> Freq -> Bool #

data Exp Source #

Constructors

ELit Lit
TType_ Freq
Lam_ FreeVars Exp
Con_ FreeVars ConName !Int [Exp]
TyCon_ FreeVars TyConName [Exp]
Pi_ FreeVars Visibility Exp Exp
Neut Neutral
RHS Exp
Let_ FreeVars ExpType Exp
Up_ FreeVars [Int] Exp

Instances

Eq Exp Source #
Methods (==) :: Exp -> Exp -> Bool # (/=) :: Exp -> Exp -> Bool #
PShow Exp Source #
Methods pShow :: Exp -> Doc Source #
HasFreeVars Exp Source #
Methods getFreeVars :: Exp -> FreeVars Source #
Rearrange Exp Source #
Methods rearrange :: Int -> RearrangeFun -> Exp -> Exp Source #
MkDoc Exp Source #
Methods mkDoc :: (Bool, Bool) -> Exp -> Doc Source #
Subst Exp ExpType Source #
Methods subst_ :: Int -> FreeVars -> Exp -> ExpType -> ExpType Source #
Subst Exp Exp Source #
Methods subst_ :: Int -> FreeVars -> Exp -> Exp -> Exp Source #

data Neutral Source #

Constructors

Var_ !Int
App__ FreeVars Neutral Exp
CaseFun__ FreeVars CaseFunName [Exp] Neutral
TyCaseFun__ FreeVars TyCaseFunName [Exp] Neutral
Fun_ FreeVars FunName [Exp] Exp
UpN_ FreeVars [Int] Neutral

Instances

Eq Neutral Source #
Methods (==) :: Neutral -> Neutral -> Bool # (/=) :: Neutral -> Neutral -> Bool #
PShow Neutral Source #
Methods pShow :: Neutral -> Doc Source #
HasFreeVars Neutral Source #
Methods getFreeVars :: Neutral -> FreeVars Source #
Rearrange Neutral Source #
Methods rearrange :: Int -> RearrangeFun -> Neutral -> Neutral Source #
MkDoc Neutral Source #
Methods mkDoc :: (Bool, Bool) -> Neutral -> Doc Source #

type Type = Exp Source #

data ExpType Source #

Constructors

ET
Fields expr :: Exp ty :: Type

Instances

Eq ExpType Source #
Methods (==) :: ExpType -> ExpType -> Bool # (/=) :: ExpType -> ExpType -> Bool #
PShow ExpType Source #
Methods pShow :: ExpType -> Doc Source #
HasFreeVars ExpType Source #
Methods getFreeVars :: ExpType -> FreeVars Source #
Rearrange ExpType Source #
Methods rearrange :: Int -> RearrangeFun -> ExpType -> ExpType Source #
MkDoc ExpType Source #
Methods mkDoc :: (Bool, Bool) -> ExpType -> Doc Source #
Subst ExpType SExp2 Source #
Methods subst_ :: Int -> FreeVars -> ExpType -> SExp2 -> SExp2 Source #
Subst Exp ExpType Source #
Methods subst_ :: Int -> FreeVars -> Exp -> ExpType -> ExpType Source #

type SExp2 = SExp' ExpType Source #

setMaxDB :: FreeVars -> Exp -> Exp Source #

pattern TType :: Exp Source #

pattern NoRHS :: Exp Source #

isRHS :: Exp -> Bool Source #

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

pattern CaseFun_ :: CaseFunName -> [Exp] -> Neutral -> Neutral Source #

pattern TyCaseFun_ :: TyCaseFunName -> [Exp] -> Neutral -> Neutral Source #

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

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

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

pattern Lam :: Exp -> Exp Source #

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

pattern Let :: ExpType -> Exp -> Exp Source #

pattern SubstLet :: Exp -> Exp Source #

substLet :: Exp -> Maybe Exp Source #

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

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

pattern Var :: Int -> Exp Source #

pattern App :: Exp -> Exp -> Exp infixl 2 Source #

pattern DFun :: FNameTag -> [Exp] -> Exp Source #

pattern DFun_ :: FreeVars -> FNameTag -> [Exp] -> Exp Source #

pattern UFun :: FNameTag -> [Exp] -> Exp Source #

pattern DFunN :: FNameTag -> [Exp] -> Neutral Source #

pattern DFunN_ :: FreeVars -> FNameTag -> [Exp] -> Neutral Source #

mkFunDef' :: FName -> FunName Source #

funTy :: FNameTag -> Exp Source #

conParams :: ConName -> Int Source #

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

pattern ConN :: FNameTag -> [Exp] -> Exp Source #

tCon :: FNameTag -> Int -> Type -> [Exp] -> Exp Source #

tCon_ :: Int -> FNameTag -> Int -> Type -> [Exp] -> Exp Source #

pattern TyConN :: FName -> [Exp] -> Exp Source #

pattern TTyCon0 :: FNameTag -> Exp Source #

tTyCon0 :: FNameTag -> [Type] -> Exp Source #

pattern (:~>) :: Exp -> Exp -> Exp infixr 1 Source #

delta :: Exp Source #

pattern TConstraint :: Exp Source #

pattern Unit :: Exp Source #

pattern TInt :: Exp Source #

pattern TNat :: Exp Source #

pattern TBool :: Exp Source #

pattern TFloat :: Exp Source #

pattern TString :: Exp Source #

pattern TChar :: Exp Source #

pattern TOrdering :: Exp Source #

pattern TVec :: Exp -> Exp -> Exp Source #

pattern Empty :: String -> Exp Source #

pattern TT :: Exp Source #

pattern CUnit :: Exp Source #

pattern CEmpty :: String -> Exp Source #

pattern CstrT :: Exp -> Exp -> Exp -> Exp Source #

pattern CstrT' :: Exp -> Exp -> Exp -> Neutral Source #

pattern Coe :: Exp -> Exp -> Exp -> Exp -> Exp Source #

pattern ParEval :: Exp -> Exp -> Exp -> Exp Source #

pattern T2 :: FreeVars -> Exp -> Exp -> Exp Source #

pattern CW :: Exp -> Exp Source #

pattern CW_ :: FreeVars -> Exp -> Exp Source #

pattern CSplit :: Exp -> Exp -> Exp -> Exp Source #

pattern HLit :: Lit -> Exp Source #

pattern HInt :: Integer -> Exp Source #

pattern HFloat :: Double -> Exp Source #

pattern HChar :: Char -> Exp Source #

pattern HString :: String -> Exp Source #

pattern EBool :: Bool -> Exp Source #

getEBool :: Exp -> Maybe Bool Source #

pattern ENat :: Int -> Exp Source #

fromNatE :: Exp -> Maybe Int Source #

mkOrdering :: Ordering -> Exp Source #

conTypeName :: ConName -> TyConName Source #

mkFun_ :: FreeVars -> FunName -> [Exp] -> Exp -> Exp Source #

mkFun :: FunName -> [Exp] -> Exp -> Exp Source #

pattern ReducedN :: Exp -> Neutral Source #

pattern Reduced :: Exp -> Exp Source #

hnf :: Exp -> Exp Source #

outputType :: Exp Source #

boolType :: Exp Source #

trueExp :: Exp Source #

class Subst b a where Source #

Minimal complete definition

subst_

Methods

subst_ :: Int -> FreeVars -> b -> a -> a Source #

Instances

Subst ExpType SExp2 Source #
Methods subst_ :: Int -> FreeVars -> ExpType -> SExp2 -> SExp2 Source #
Subst Exp ExpType Source #
Methods subst_ :: Int -> FreeVars -> Exp -> ExpType -> ExpType Source #
Subst Exp Exp Source #
Methods subst_ :: Int -> FreeVars -> Exp -> Exp -> Exp Source #

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

down :: (PShow a, Subst Exp a, HasFreeVars a) => Int -> a -> Maybe a Source #

varType' :: Int -> [Exp] -> Exp Source #

class MkDoc a where Source #

Minimal complete definition

mkDoc

Methods

mkDoc :: (Bool, Bool) -> a -> Doc Source #

Instances

MkDoc ExpType Source #
Methods mkDoc :: (Bool, Bool) -> ExpType -> Doc Source #
MkDoc Neutral Source #
Methods mkDoc :: (Bool, Bool) -> Neutral -> Doc Source #
MkDoc Exp Source #
Methods mkDoc :: (Bool, Bool) -> Exp -> Doc Source #

pattern FFix :: Exp -> Neutral Source #

getFixLam :: Exp -> Maybe (FunName, [Exp]) Source #

mkFunDef :: FName -> Type -> FunName Source #

evalCaseFun :: FreeVars -> CaseFunName -> [Exp] -> Exp -> Exp Source #

evalCaseFun' :: CaseFunName -> [Exp] -> Exp -> Exp Source #

evalTyCaseFun :: TyCaseFunName -> [Exp] -> Exp -> Exp Source #

evalTyCaseFun_ :: FreeVars -> TyCaseFunName -> [Exp] -> Exp -> Exp Source #

evalCoe :: Exp -> Exp -> Exp -> Exp -> Exp Source #

cstr_ :: Exp -> Exp -> Exp -> Exp Source #

cstr :: Exp -> Exp -> Exp -> Exp Source #

pattern NonNeut :: Exp Source #

nonNeut :: Exp -> Bool Source #

t2C :: Exp -> Exp -> Exp Source #

cw_ :: FreeVars -> Exp -> Exp Source #

cw :: Exp -> Exp Source #

t2_ :: FreeVars -> Exp -> Exp -> Exp Source #

t2 :: Exp -> Exp -> Exp Source #

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

app__ :: FreeVars -> Exp -> Exp -> Exp Source #

conType :: Exp -> ConName -> Type Source #

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

getParams :: Exp -> ([(Visibility, Exp)], Exp) Source #

class NType a where Source #

Minimal complete definition

nType

Methods

nType :: a -> Type Source #

Instances

NType Lit Source #
Methods nType :: Lit -> Type Source #
NType TyCaseFunName Source #
Methods nType :: TyCaseFunName -> Type Source #
NType CaseFunName Source #
Methods nType :: CaseFunName -> Type Source #
NType FunName Source #
Methods nType :: FunName -> Type Source #
NType TyConName Source #
Methods nType :: TyConName -> Type Source #