Agda-2.4.0: A dependently typed functional programming language and proof assistant
Agda.Compiler.JS.Substitution
map :: Nat -> (Nat -> LocalId -> Exp) -> Exp -> ExpSource
shift :: Nat -> Exp -> ExpSource
shiftFrom :: Nat -> Nat -> Exp -> ExpSource
shifter :: Nat -> Nat -> LocalId -> ExpSource
subst :: Nat -> [Exp] -> Exp -> ExpSource
substituter :: Nat -> [Exp] -> Nat -> LocalId -> ExpSource
map' :: Nat -> (Nat -> LocalId -> Exp) -> Exp -> ExpSource
subst' :: Nat -> [Exp] -> Exp -> ExpSource
apply :: Exp -> [Exp] -> ExpSource
lookup :: Exp -> MemberId -> ExpSource
self :: Exp -> Exp -> ExpSource
fix :: Exp -> ExpSource
curriedApply :: Exp -> [Exp] -> ExpSource
curriedLambda :: Nat -> Exp -> ExpSource
emp :: ExpSource
union :: Exp -> Exp -> ExpSource
vine :: [MemberId] -> Exp -> ExpSource
object :: [([MemberId], Exp)] -> ExpSource