idris-1.3.0: Functional Programming Language with Dependent Types

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

IRTS.JavaScript.Name

Description

Documentation

jsName :: Name -> Text Source #

jsNameGenerated :: Int -> Text Source #

data Partial Source #

Constructors

Partial Name Int Int

Instances

Eq Partial Source #
Methods (==) :: Partial -> Partial -> Bool # (/=) :: Partial -> Partial -> Bool #
Ord Partial Source #
Methods compare :: Partial -> Partial -> Ordering # (<) :: Partial -> Partial -> Bool # (<=) :: Partial -> Partial -> Bool # (>) :: Partial -> Partial -> Bool # (>=) :: Partial -> Partial -> Bool # max :: Partial -> Partial -> Partial # min :: Partial -> Partial -> Partial #

jsNamePartial :: Partial -> Text Source #

jsTailCallOptimName :: Text -> Text Source #

data HiddenClass Source #

Constructors

HiddenClass Name Int Int

Instances

Eq HiddenClass Source #
Methods (==) :: HiddenClass -> HiddenClass -> Bool # (/=) :: HiddenClass -> HiddenClass -> Bool #
Ord HiddenClass Source #
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 Source #

dataPartName :: Int -> Text Source #