purescript-0.15.15: PureScript Programming Language Compiler

Safe Haskell | None
Language | Haskell2010

Language.PureScript.AST.Operators

Description

Operators fixity and associativity

Synopsis

- type Precedence = Integer
- data Associativity
  - = Infixl
  - | Infixr
  - | Infix
- showAssoc :: Associativity -> String
- readAssoc :: String -> Associativity
- data Fixity = Fixity Associativity Precedence

# Documentation

type Precedence = Integer #

A precedence level for an infix operator

data Associativity #

Associativity for infix operators

Constructors

Infixl |
Infixr |
Infix |

#### Instances

Instances details

FromJSON Associativity # |
Instance details Defined in Language.PureScript.AST.Operators Methods parseJSON :: Value -> Parser Associativity # parseJSONList :: Value -> Parser [Associativity] # omittedField :: Maybe Associativity #
ToJSON Associativity # |
Instance details Defined in Language.PureScript.AST.Operators Methods toJSON :: Associativity -> Value # toEncoding :: Associativity -> Encoding # toJSONList :: [Associativity] -> Value # toEncodingList :: [Associativity] -> Encoding # omitField :: Associativity -> Bool #
NFData Associativity # |
Instance details Defined in Language.PureScript.AST.Operators Methods rnf :: Associativity -> () #
Generic Associativity # |
Instance details Defined in Language.PureScript.AST.Operators Associated Types
type Rep Associativity |
Instance details Defined in Language.PureScript.AST.Operators type Rep Associativity = D1 ('MetaData "Associativity" "Language.PureScript.AST.Operators" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "Infixl" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Infixr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Infix" 'PrefixI 'False) (U1 :: Type -> Type)))
Methods from :: Associativity -> Rep Associativity x # to :: Rep Associativity x -> Associativity #
Show Associativity # |
Instance details Defined in Language.PureScript.AST.Operators Methods showsPrec :: Int -> Associativity -> ShowS # show :: Associativity -> String # showList :: [Associativity] -> ShowS #
Eq Associativity # |
Instance details Defined in Language.PureScript.AST.Operators Methods (==) :: Associativity -> Associativity -> Bool # (/=) :: Associativity -> Associativity -> Bool #
Ord Associativity # |
Instance details Defined in Language.PureScript.AST.Operators Methods compare :: Associativity -> Associativity -> Ordering # (<) :: Associativity -> Associativity -> Bool # (<=) :: Associativity -> Associativity -> Bool # (>) :: Associativity -> Associativity -> Bool # (>=) :: Associativity -> Associativity -> Bool # max :: Associativity -> Associativity -> Associativity # min :: Associativity -> Associativity -> Associativity #
Serialise Associativity # |
Instance details Defined in Language.PureScript.AST.Operators Methods encode :: Associativity -> Encoding # decode :: Decoder s Associativity # encodeList :: [Associativity] -> Encoding # decodeList :: Decoder s [Associativity] #
type Rep Associativity # |
Instance details Defined in Language.PureScript.AST.Operators type Rep Associativity = D1 ('MetaData "Associativity" "Language.PureScript.AST.Operators" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "Infixl" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Infixr" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Infix" 'PrefixI 'False) (U1 :: Type -> Type)))

showAssoc :: Associativity -> String #

readAssoc :: String -> Associativity #

data Fixity #

Fixity data for infix operators

Constructors

Fixity Associativity Precedence |

#### Instances

Instances details

ToJSON Fixity # |
Instance details Defined in Language.PureScript.AST.Operators Methods toJSON :: Fixity -> Value # toEncoding :: Fixity -> Encoding # toJSONList :: [Fixity] -> Value # toEncodingList :: [Fixity] -> Encoding # omitField :: Fixity -> Bool #
NFData Fixity # |
Instance details Defined in Language.PureScript.AST.Operators Methods rnf :: Fixity -> () #
Generic Fixity # |
Instance details Defined in Language.PureScript.AST.Operators Associated Types
type Rep Fixity |
Instance details Defined in Language.PureScript.AST.Operators type Rep Fixity = D1 ('MetaData "Fixity" "Language.PureScript.AST.Operators" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "Fixity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Associativity) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Precedence)))
Methods from :: Fixity -> Rep Fixity x # to :: Rep Fixity x -> Fixity #
Show Fixity # |
Instance details Defined in Language.PureScript.AST.Operators Methods showsPrec :: Int -> Fixity -> ShowS # show :: Fixity -> String # showList :: [Fixity] -> ShowS #
Eq Fixity # |
Instance details Defined in Language.PureScript.AST.Operators Methods (==) :: Fixity -> Fixity -> Bool # (/=) :: Fixity -> Fixity -> Bool #
Ord Fixity # |
Instance details Defined in Language.PureScript.AST.Operators Methods compare :: Fixity -> Fixity -> Ordering # (<) :: Fixity -> Fixity -> Bool # (<=) :: Fixity -> Fixity -> Bool # (>) :: Fixity -> Fixity -> Bool # (>=) :: Fixity -> Fixity -> Bool # max :: Fixity -> Fixity -> Fixity # min :: Fixity -> Fixity -> Fixity #
Serialise Fixity # |
Instance details Defined in Language.PureScript.AST.Operators Methods encode :: Fixity -> Encoding # decode :: Decoder s Fixity # encodeList :: [Fixity] -> Encoding # decodeList :: Decoder s [Fixity] #
type Rep Fixity # |
Instance details Defined in Language.PureScript.AST.Operators type Rep Fixity = D1 ('MetaData "Fixity" "Language.PureScript.AST.Operators" "purescript-0.15.15-8K0LbmS63k4ILju2RsIrDp" 'False) (C1 ('MetaCons "Fixity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Associativity) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Precedence)))