| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
IRTS.JavaScript.Name
Description
Documentation
jsNameGenerated :: Int -> Text #
jsNamePartial :: Partial -> Text #
jsTailCallOptimName :: Text -> Text #
data HiddenClass #
Constructors
| HiddenClass Name Int Int |
Instances
| Eq HiddenClass # | |
Defined in IRTS.JavaScript.Name | |
| Ord HiddenClass # | |
Defined in IRTS.JavaScript.Name Methods compare :: HiddenClass -> HiddenClass -> Ordering # (<) :: HiddenClass -> HiddenClass -> Bool # (<=) :: HiddenClass -> HiddenClass -> Bool # (>) :: HiddenClass -> HiddenClass -> Bool # (>=) :: HiddenClass -> HiddenClass -> Bool # max :: HiddenClass -> HiddenClass -> HiddenClass # min :: HiddenClass -> HiddenClass -> HiddenClass # | |
jsNameHiddenClass :: HiddenClass -> Text #
dataPartName :: Int -> Text #