License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
jsNameGenerated :: Int -> Text Source #
jsNamePartial :: Partial -> Text Source #
jsTailCallOptimName :: Text -> Text Source #
jsNameHiddenClass :: HiddenClass -> Text Source #
dataPartName :: Int -> Text Source #