Documentation

data LVar Source

data LExp Source

data PrimFn Source

data FCallType Source

data FLang Source

data FType Source

data LAlt Source

data LDecl Source

type LDefs = Ctxt LDeclSource

data LOpt Source

addTags :: Int -> [(Name, LDecl)] -> (Int, [(Name, LDecl)])Source

data LiftState Source

lname :: Name -> Int -> NameSource

liftAll :: [(Name, LDecl)] -> [(Name, LDecl)]Source

lambdaLift :: Name -> LDecl -> [(Name, LDecl)]Source

getNextName :: State LiftState NameSource

addFn :: Name -> LDecl -> State LiftState ()Source

lift :: [Name] -> LExp -> State LiftState LExpSource

usedArg :: Eq t => [t] -> t -> [t]Source

usedIn :: [Name] -> LExp -> [Name]Source