idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

IRTS.JavaScript.Name

Description

 

Documentation

jsName :: Name -> Text Source #

jsNameGenerated :: Int -> Text Source #

data Partial Source #

Constructors

Partial Name Int Int 

Instances

Instances details
Eq Partial Source # 
Instance details

Defined in IRTS.JavaScript.Name

Methods

(==) :: Partial -> Partial -> Bool

(/=) :: Partial -> Partial -> Bool

Ord Partial Source # 
Instance details

Defined in IRTS.JavaScript.Name

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

jsTailCallOptimName :: Text -> Text Source #

data HiddenClass Source #

Constructors

HiddenClass Name Int Int 

Instances

Instances details
Eq HiddenClass Source # 
Instance details

Defined in IRTS.JavaScript.Name

Methods

(==) :: HiddenClass -> HiddenClass -> Bool

(/=) :: HiddenClass -> HiddenClass -> Bool

Ord HiddenClass Source # 
Instance details

Defined in IRTS.JavaScript.Name

dataPartName :: Int -> Text Source #