IRTS.JavaScript.Specialize

idris-1.3.4: Functional Programming Language with Dependent Types

License | BSD3
Maintainer | The Idris Community.
Safe Haskell | None
Language | Haskell2010

IRTS.JavaScript.Specialize

Description

# Documentation

type SCtor = [JsExpr] -> JsExpr #

type STest = JsExpr -> JsExpr #

type SProj = JsExpr -> Int -> JsExpr #

specialCased :: Name -> Maybe (SCtor, STest, SProj) #

specialCall :: Name -> Maybe SSig #

qualifyN :: String -> String -> Name #