purescript-0.15.12: PureScript Programming Language Compiler

Safe Haskell | Safe-Inferred
Language | Haskell2010

Language.PureScript.AST.Declarations.ChainId

Synopsis

- data ChainId
- mkChainId :: String -> SourcePos -> 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

Instances details

Show ChainId # |
Instance details Defined in Language.PureScript.AST.Declarations.ChainId Methods showsPrec :: Int -> ChainId -> ShowS # show :: ChainId -> String # showList :: [ChainId] -> ShowS #
NFData ChainId # |
Instance details Defined in Language.PureScript.AST.Declarations.ChainId Methods rnf :: ChainId -> () #
Eq ChainId # |
Instance details Defined in Language.PureScript.AST.Declarations.ChainId Methods (==) :: ChainId -> ChainId -> Bool # (/=) :: ChainId -> ChainId -> Bool #
Ord ChainId # |
Instance details 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 # |
Instance details 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 #