idris-1.1.1: Functional Programming Language with Dependent Types
IRTS.JavaScript.Specialize
Description
type SCtor = [JsExpr] -> JsExpr Source #
type STest = JsExpr -> JsExpr Source #
type SProj = JsExpr -> Int -> JsExpr Source #
specialCased :: Name -> Maybe (SCtor, STest, SProj) Source #
specialCall :: Name -> Maybe SSig Source #
qualifyN :: String -> String -> Name Source #