idris-1.3.2: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

IRTS.JavaScript.Name

Description

 

Documentation

data Partial Source #

Constructors

Partial Name Int Int 
Instances
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