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

Safe HaskellNone
LanguageHaskell98

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 :: Int -> Args -> TCM [Exp]