Language.PureScript.AST.Declarations.ChainId

Documentation

data ChainId

For a given instance chain, stores the chain's file name and the starting source pos of the first instance in the chain. This data is used to determine which instances are part of the same instance chain.

Instances

Show ChainId

Defined in Language.PureScript.AST.Declarations.ChainId

Methods

showsPrec :: Int -> ChainId -> ShowS

show :: ChainId -> String

showList :: [ChainId] -> ShowS

NFData ChainId

Defined in Language.PureScript.AST.Declarations.ChainId

Methods

rnf :: ChainId -> ()

Eq ChainId

Defined in Language.PureScript.AST.Declarations.ChainId

Methods

(==) :: ChainId -> ChainId -> Bool

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

Ord ChainId

Defined in Language.PureScript.AST.Declarations.ChainId

Methods

compare :: ChainId -> ChainId -> Ordering

(<) :: ChainId -> ChainId -> Bool

(<=) :: ChainId -> ChainId -> Bool

(>) :: ChainId -> ChainId -> Bool

(>=) :: ChainId -> ChainId -> Bool

max :: ChainId -> ChainId -> ChainId

min :: ChainId -> ChainId -> ChainId

Serialise ChainId

Defined in Language.PureScript.AST.Declarations.ChainId

Methods

encode :: ChainId -> Encoding

decode :: Decoder s ChainId

encodeList :: [ChainId] -> Encoding

decodeList :: Decoder s [ChainId]

mkChainId :: String -> SourcePos -> ChainId