Agda-2.3.2: A dependently typed functional programming language and proof assistant

Safe HaskellNone

Agda.Compiler.JS.Compiler

Documentation

defn :: QName -> [MemberId] -> Type -> Maybe JSCode -> Defn -> TCM Exp

mapping :: [Pattern] -> (Nat, Nat, [Exp])

mapping' :: Pattern -> (Nat, Nat, [Exp]) -> (Nat, Nat, [Exp])

args :: Maybe (QName, Int) -> Args -> TCM [Exp]