purescript-0.15.15: PureScript Programming Language Compiler

Safe Haskell | None
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

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