Stability	provisional
Safe Haskell	None
Language	Haskell2010

GF.Grammar.Canonical

Contents

Abstract Syntax
Concreate syntax
- Identifiers in Concrete Syntax
Used in both Abstract and Concrete Syntax
- Identifiers
Pretty printing

Description

Abstract syntax for canonical GF grammars, i.e. what's left after high-level constructions such as functors and opers have been eliminated by partial evaluation. This is intended as a common intermediate representation to simplify export to other formats.

Synopsis

data Grammar = Grammar Abstract [Concrete]
data Abstract = Abstract ModId Flags [CatDef] [FunDef]
abstrName :: Abstract -> ModId
data CatDef = CatDef CatId [CatId]
data FunDef = FunDef FunId Type
data Type = Type [TypeBinding] TypeApp
data TypeApp = TypeApp CatId [Type]
data TypeBinding = TypeBinding VarId Type
data Concrete = Concrete ModId ModId Flags [ParamDef] [LincatDef] [LinDef]
concName :: Concrete -> ModId
data ParamDef
- = ParamDef ParamId [ParamValueDef]
- | ParamAliasDef ParamId LinType
data LincatDef = LincatDef CatId LinType
data LinDef = LinDef FunId [VarId] LinValue
data LinType
- = FloatType
- | IntType
- | ParamType ParamType
- | RecordType [RecordRowType]
- | StrType
- | TableType LinType LinType
- | TupleType [LinType]
newtype ParamType = ParamTypeId ParamId
data LinValue
- = ConcatValue LinValue LinValue
- | LiteralValue LinLiteral
- | ErrorValue String
- | ParamConstant ParamValue
- | PredefValue PredefId
- | RecordValue [RecordRowValue]
- | TableValue LinType [TableRowValue]
- | TupleValue [LinValue]
- | VariantValue [LinValue]
- | VarValue VarValueId
- | PreValue [([String], LinValue)] LinValue
- | Projection LinValue LabelId
- | Selection LinValue LinValue
- | CommentedValue String LinValue
data LinLiteral
- = FloatConstant Float
- | IntConstant Int
- | StrConstant String
data LinPattern
- = ParamPattern ParamPattern
- | RecordPattern [RecordRow LinPattern]
- | TuplePattern [LinPattern]
- | WildPattern
type ParamValue = Param LinValue
type ParamPattern = Param LinPattern
type ParamValueDef = Param ParamId
data Param arg = Param ParamId [arg]
type RecordRowType = RecordRow LinType
type RecordRowValue = RecordRow LinValue
type TableRowValue = TableRow LinValue
data RecordRow rhs = RecordRow LabelId rhs
data TableRow rhs = TableRow LinPattern rhs
newtype PredefId = PredefId Id
newtype LabelId = LabelId Id
data VarValueId = VarValueId QualId
newtype ParamId = ParamId QualId
newtype ModId = ModId Id
newtype CatId = CatId Id
newtype FunId = FunId Id
data VarId
- = Anonymous
- | VarId Id
newtype Flags = Flags [(FlagName, FlagValue)]
type FlagName = Id
data FlagValue
- = Str String
- | Int Int
- | Flt Double
type Id = RawIdent
data QualId
- = Qual ModId Id
- | Unqual Id
class Pretty a => PPA a where
- ppA :: a -> Doc
class Pretty rhs => RhsSeparator rhs where
- rhsSep :: rhs -> Doc
semiSep :: Pretty a2 => [a2] -> [Doc]
block :: Pretty a2 => [a2] -> Doc

Documentation

data Grammar Source #

A Complete grammar

Constructors

Grammar Abstract [Concrete]

Instances

Instances details

Show Grammar Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> Grammar -> ShowS # show :: Grammar -> String # showList :: [Grammar] -> ShowS #
JSON Grammar Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result Grammar # showJSON :: Grammar -> JSValue # readJSONs :: JSValue -> Result [Grammar] # showJSONs :: [Grammar] -> JSValue #
Pretty Grammar Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: Grammar -> Doc Source # ppList :: [Grammar] -> Doc Source #

Abstract Syntax

data Abstract Source #

Abstract Syntax

Constructors

Abstract ModId Flags [CatDef] [FunDef]

Instances

Instances details

Show Abstract Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> Abstract -> ShowS # show :: Abstract -> String # showList :: [Abstract] -> ShowS #
JSON Abstract Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result Abstract # showJSON :: Abstract -> JSValue # readJSONs :: JSValue -> Result [Abstract] # showJSONs :: [Abstract] -> JSValue #
Pretty Abstract Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: Abstract -> Doc Source # ppList :: [Abstract] -> Doc Source #

abstrName :: Abstract -> ModId Source #

data CatDef Source #

Constructors

CatDef CatId [CatId]

Instances

Instances details

Show CatDef Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> CatDef -> ShowS # show :: CatDef -> String # showList :: [CatDef] -> ShowS #
JSON CatDef Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result CatDef # showJSON :: CatDef -> JSValue # readJSONs :: JSValue -> Result [CatDef] # showJSONs :: [CatDef] -> JSValue #
Pretty CatDef Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: CatDef -> Doc Source # ppList :: [CatDef] -> Doc Source #

data FunDef Source #

Constructors

FunDef FunId Type

Instances

Instances details

Show FunDef Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> FunDef -> ShowS # show :: FunDef -> String # showList :: [FunDef] -> ShowS #
JSON FunDef Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result FunDef # showJSON :: FunDef -> JSValue # readJSONs :: JSValue -> Result [FunDef] # showJSONs :: [FunDef] -> JSValue #
Pretty FunDef Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: FunDef -> Doc Source # ppList :: [FunDef] -> Doc Source #

data Type Source #

Constructors

Type [TypeBinding] TypeApp

Instances

Instances details

Show Type Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
JSON Type Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result Type # showJSON :: Type -> JSValue # readJSONs :: JSValue -> Result [Type] # showJSONs :: [Type] -> JSValue #
Pretty Type Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: Type -> Doc Source # ppList :: [Type] -> Doc Source #
PPA Type Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: Type -> Doc Source #

data TypeApp Source #

Constructors

TypeApp CatId [Type]

Instances

Instances details

Show TypeApp Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> TypeApp -> ShowS # show :: TypeApp -> String # showList :: [TypeApp] -> ShowS #
JSON TypeApp Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result TypeApp # showJSON :: TypeApp -> JSValue # readJSONs :: JSValue -> Result [TypeApp] # showJSONs :: [TypeApp] -> JSValue #
Pretty TypeApp Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: TypeApp -> Doc Source # ppList :: [TypeApp] -> Doc Source #

data TypeBinding Source #

Constructors

TypeBinding VarId Type

Instances

Instances details

Show TypeBinding Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> TypeBinding -> ShowS # show :: TypeBinding -> String # showList :: [TypeBinding] -> ShowS #
JSON TypeBinding Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result TypeBinding # showJSON :: TypeBinding -> JSValue # readJSONs :: JSValue -> Result [TypeBinding] # showJSONs :: [TypeBinding] -> JSValue #
Pretty TypeBinding Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: TypeBinding -> Doc Source # ppList :: [TypeBinding] -> Doc Source #

Concreate syntax

data Concrete Source #

Concrete Syntax

Constructors

Concrete ModId ModId Flags [ParamDef] [LincatDef] [LinDef]

Instances

Instances details

Show Concrete Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> Concrete -> ShowS # show :: Concrete -> String # showList :: [Concrete] -> ShowS #
JSON Concrete Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result Concrete # showJSON :: Concrete -> JSValue # readJSONs :: JSValue -> Result [Concrete] # showJSONs :: [Concrete] -> JSValue #
Pretty Concrete Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: Concrete -> Doc Source # ppList :: [Concrete] -> Doc Source #

concName :: Concrete -> ModId Source #

data ParamDef Source #

Constructors

ParamDef ParamId [ParamValueDef]
ParamAliasDef ParamId LinType

Instances

Instances details

Show ParamDef Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> ParamDef -> ShowS # show :: ParamDef -> String # showList :: [ParamDef] -> ShowS #
JSON ParamDef Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result ParamDef # showJSON :: ParamDef -> JSValue # readJSONs :: JSValue -> Result [ParamDef] # showJSONs :: [ParamDef] -> JSValue #
Pretty ParamDef Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: ParamDef -> Doc Source # ppList :: [ParamDef] -> Doc Source #

data LincatDef Source #

Constructors

LincatDef CatId LinType

Instances

Instances details

Show LincatDef Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> LincatDef -> ShowS # show :: LincatDef -> String # showList :: [LincatDef] -> ShowS #
JSON LincatDef Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result LincatDef # showJSON :: LincatDef -> JSValue # readJSONs :: JSValue -> Result [LincatDef] # showJSONs :: [LincatDef] -> JSValue #
Pretty LincatDef Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: LincatDef -> Doc Source # ppList :: [LincatDef] -> Doc Source #

data LinDef Source #

Constructors

LinDef FunId [VarId] LinValue

Instances

Instances details

Show LinDef Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> LinDef -> ShowS # show :: LinDef -> String # showList :: [LinDef] -> ShowS #
JSON LinDef Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result LinDef # showJSON :: LinDef -> JSValue # readJSONs :: JSValue -> Result [LinDef] # showJSONs :: [LinDef] -> JSValue #
Pretty LinDef Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: LinDef -> Doc Source # ppList :: [LinDef] -> Doc Source #

data LinType Source #

Linearization type, RHS of lincat

Constructors

FloatType
IntType
ParamType ParamType
RecordType [RecordRowType]
StrType
TableType LinType LinType
TupleType [LinType]

Instances

Instances details

Eq LinType Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: LinType -> LinType -> Bool # (/=) :: LinType -> LinType -> Bool #
Ord LinType Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: LinType -> LinType -> Ordering # (<) :: LinType -> LinType -> Bool # (<=) :: LinType -> LinType -> Bool # (>) :: LinType -> LinType -> Bool # (>=) :: LinType -> LinType -> Bool # max :: LinType -> LinType -> LinType # min :: LinType -> LinType -> LinType #
Show LinType Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> LinType -> ShowS # show :: LinType -> String # showList :: [LinType] -> ShowS #
JSON LinType Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result LinType # showJSON :: LinType -> JSValue # readJSONs :: JSValue -> Result [LinType] # showJSONs :: [LinType] -> JSValue #
Pretty LinType Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: LinType -> Doc Source # ppList :: [LinType] -> Doc Source #
RhsSeparator LinType Source #
Instance details Defined in GF.Grammar.Canonical Methods rhsSep :: LinType -> Doc Source #

newtype ParamType Source #

Constructors

ParamTypeId ParamId

Instances

Instances details

Eq ParamType Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: ParamType -> ParamType -> Bool # (/=) :: ParamType -> ParamType -> Bool #
Ord ParamType Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: ParamType -> ParamType -> Ordering # (<) :: ParamType -> ParamType -> Bool # (<=) :: ParamType -> ParamType -> Bool # (>) :: ParamType -> ParamType -> Bool # (>=) :: ParamType -> ParamType -> Bool # max :: ParamType -> ParamType -> ParamType # min :: ParamType -> ParamType -> ParamType #
Show ParamType Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> ParamType -> ShowS # show :: ParamType -> String # showList :: [ParamType] -> ShowS #
JSON ParamType Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result ParamType # showJSON :: ParamType -> JSValue # readJSONs :: JSValue -> Result [ParamType] # showJSONs :: [ParamType] -> JSValue #
Pretty ParamType Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: ParamType -> Doc Source # ppList :: [ParamType] -> Doc Source #

data LinValue Source #

Linearization value, RHS of lin

Instances

Instances details

Eq LinValue Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: LinValue -> LinValue -> Bool # (/=) :: LinValue -> LinValue -> Bool #
Ord LinValue Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: LinValue -> LinValue -> Ordering # (<) :: LinValue -> LinValue -> Bool # (<=) :: LinValue -> LinValue -> Bool # (>) :: LinValue -> LinValue -> Bool # (>=) :: LinValue -> LinValue -> Bool # max :: LinValue -> LinValue -> LinValue # min :: LinValue -> LinValue -> LinValue #
Show LinValue Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> LinValue -> ShowS # show :: LinValue -> String # showList :: [LinValue] -> ShowS #
JSON LinValue Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result LinValue # showJSON :: LinValue -> JSValue # readJSONs :: JSValue -> Result [LinValue] # showJSONs :: [LinValue] -> JSValue #
Pretty LinValue Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: LinValue -> Doc Source # ppList :: [LinValue] -> Doc Source #
RhsSeparator LinValue Source #
Instance details Defined in GF.Grammar.Canonical Methods rhsSep :: LinValue -> Doc Source #
PPA LinValue Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: LinValue -> Doc Source #

data LinLiteral Source #

Constructors

FloatConstant Float
IntConstant Int
StrConstant String

Instances

Instances details

Eq LinLiteral Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: LinLiteral -> LinLiteral -> Bool # (/=) :: LinLiteral -> LinLiteral -> Bool #
Ord LinLiteral Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: LinLiteral -> LinLiteral -> Ordering # (<) :: LinLiteral -> LinLiteral -> Bool # (<=) :: LinLiteral -> LinLiteral -> Bool # (>) :: LinLiteral -> LinLiteral -> Bool # (>=) :: LinLiteral -> LinLiteral -> Bool # max :: LinLiteral -> LinLiteral -> LinLiteral # min :: LinLiteral -> LinLiteral -> LinLiteral #
Show LinLiteral Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> LinLiteral -> ShowS # show :: LinLiteral -> String # showList :: [LinLiteral] -> ShowS #
JSON LinLiteral Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result LinLiteral # showJSON :: LinLiteral -> JSValue # readJSONs :: JSValue -> Result [LinLiteral] # showJSONs :: [LinLiteral] -> JSValue #
Pretty LinLiteral Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: LinLiteral -> Doc Source # ppList :: [LinLiteral] -> Doc Source #
PPA LinLiteral Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: LinLiteral -> Doc Source #

data LinPattern Source #

Constructors

ParamPattern ParamPattern
RecordPattern [RecordRow LinPattern]
TuplePattern [LinPattern]
WildPattern

Instances

Instances details

Eq LinPattern Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: LinPattern -> LinPattern -> Bool # (/=) :: LinPattern -> LinPattern -> Bool #
Ord LinPattern Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: LinPattern -> LinPattern -> Ordering # (<) :: LinPattern -> LinPattern -> Bool # (<=) :: LinPattern -> LinPattern -> Bool # (>) :: LinPattern -> LinPattern -> Bool # (>=) :: LinPattern -> LinPattern -> Bool # max :: LinPattern -> LinPattern -> LinPattern # min :: LinPattern -> LinPattern -> LinPattern #
Show LinPattern Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> LinPattern -> ShowS # show :: LinPattern -> String # showList :: [LinPattern] -> ShowS #
JSON LinPattern Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result LinPattern # showJSON :: LinPattern -> JSValue # readJSONs :: JSValue -> Result [LinPattern] # showJSONs :: [LinPattern] -> JSValue #
Pretty LinPattern Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: LinPattern -> Doc Source # ppList :: [LinPattern] -> Doc Source #
RhsSeparator LinPattern Source #
Instance details Defined in GF.Grammar.Canonical Methods rhsSep :: LinPattern -> Doc Source #
PPA LinPattern Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: LinPattern -> Doc Source #

type ParamValue = Param LinValue Source #

type ParamPattern = Param LinPattern Source #

type ParamValueDef = Param ParamId Source #

data Param arg Source #

Constructors

Param ParamId [arg]

Instances

Instances details

Functor Param Source #
Instance details Defined in GF.Grammar.Canonical Methods fmap :: (a -> b) -> Param a -> Param b # (<$) :: a -> Param b -> Param a #
Foldable Param Source #
Instance details Defined in GF.Grammar.Canonical Methods fold :: Monoid m => Param m -> m # foldMap :: Monoid m => (a -> m) -> Param a -> m # foldMap' :: Monoid m => (a -> m) -> Param a -> m # foldr :: (a -> b -> b) -> b -> Param a -> b # foldr' :: (a -> b -> b) -> b -> Param a -> b # foldl :: (b -> a -> b) -> b -> Param a -> b # foldl' :: (b -> a -> b) -> b -> Param a -> b # foldr1 :: (a -> a -> a) -> Param a -> a # foldl1 :: (a -> a -> a) -> Param a -> a # toList :: Param a -> [a] # null :: Param a -> Bool # length :: Param a -> Int # elem :: Eq a => a -> Param a -> Bool # maximum :: Ord a => Param a -> a # minimum :: Ord a => Param a -> a # sum :: Num a => Param a -> a # product :: Num a => Param a -> a #
Traversable Param Source #
Instance details Defined in GF.Grammar.Canonical Methods traverse :: Applicative f => (a -> f b) -> Param a -> f (Param b) # sequenceA :: Applicative f => Param (f a) -> f (Param a) # mapM :: Monad m => (a -> m b) -> Param a -> m (Param b) # sequence :: Monad m => Param (m a) -> m (Param a) #
Eq arg => Eq (Param arg) Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: Param arg -> Param arg -> Bool # (/=) :: Param arg -> Param arg -> Bool #
Ord arg => Ord (Param arg) Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: Param arg -> Param arg -> Ordering # (<) :: Param arg -> Param arg -> Bool # (<=) :: Param arg -> Param arg -> Bool # (>) :: Param arg -> Param arg -> Bool # (>=) :: Param arg -> Param arg -> Bool # max :: Param arg -> Param arg -> Param arg # min :: Param arg -> Param arg -> Param arg #
Show arg => Show (Param arg) Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> Param arg -> ShowS # show :: Param arg -> String # showList :: [Param arg] -> ShowS #
JSON arg => JSON (Param arg) Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result (Param arg) # showJSON :: Param arg -> JSValue # readJSONs :: JSValue -> Result [Param arg] # showJSONs :: [Param arg] -> JSValue #
PPA arg => Pretty (Param arg) Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: Param arg -> Doc Source # ppList :: [Param arg] -> Doc Source #
PPA arg => PPA (Param arg) Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: Param arg -> Doc Source #

type RecordRowType = RecordRow LinType Source #

type RecordRowValue = RecordRow LinValue Source #

type TableRowValue = TableRow LinValue Source #

data RecordRow rhs Source #

Constructors

RecordRow LabelId rhs

Instances

Instances details

Functor RecordRow Source #
Instance details Defined in GF.Grammar.Canonical Methods fmap :: (a -> b) -> RecordRow a -> RecordRow b # (<$) :: a -> RecordRow b -> RecordRow a #
Foldable RecordRow Source #
Instance details Defined in GF.Grammar.Canonical Methods fold :: Monoid m => RecordRow m -> m # foldMap :: Monoid m => (a -> m) -> RecordRow a -> m # foldMap' :: Monoid m => (a -> m) -> RecordRow a -> m # foldr :: (a -> b -> b) -> b -> RecordRow a -> b # foldr' :: (a -> b -> b) -> b -> RecordRow a -> b # foldl :: (b -> a -> b) -> b -> RecordRow a -> b # foldl' :: (b -> a -> b) -> b -> RecordRow a -> b # foldr1 :: (a -> a -> a) -> RecordRow a -> a # foldl1 :: (a -> a -> a) -> RecordRow a -> a # toList :: RecordRow a -> [a] # null :: RecordRow a -> Bool # length :: RecordRow a -> Int # elem :: Eq a => a -> RecordRow a -> Bool # maximum :: Ord a => RecordRow a -> a # minimum :: Ord a => RecordRow a -> a # sum :: Num a => RecordRow a -> a # product :: Num a => RecordRow a -> a #
Traversable RecordRow Source #
Instance details Defined in GF.Grammar.Canonical Methods traverse :: Applicative f => (a -> f b) -> RecordRow a -> f (RecordRow b) # sequenceA :: Applicative f => RecordRow (f a) -> f (RecordRow a) # mapM :: Monad m => (a -> m b) -> RecordRow a -> m (RecordRow b) # sequence :: Monad m => RecordRow (m a) -> m (RecordRow a) #
Eq rhs => Eq (RecordRow rhs) Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: RecordRow rhs -> RecordRow rhs -> Bool # (/=) :: RecordRow rhs -> RecordRow rhs -> Bool #
Ord rhs => Ord (RecordRow rhs) Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: RecordRow rhs -> RecordRow rhs -> Ordering # (<) :: RecordRow rhs -> RecordRow rhs -> Bool # (<=) :: RecordRow rhs -> RecordRow rhs -> Bool # (>) :: RecordRow rhs -> RecordRow rhs -> Bool # (>=) :: RecordRow rhs -> RecordRow rhs -> Bool # max :: RecordRow rhs -> RecordRow rhs -> RecordRow rhs # min :: RecordRow rhs -> RecordRow rhs -> RecordRow rhs #
Show rhs => Show (RecordRow rhs) Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> RecordRow rhs -> ShowS # show :: RecordRow rhs -> String # showList :: [RecordRow rhs] -> ShowS #
JSON a => JSON (RecordRow a) Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result (RecordRow a) # showJSON :: RecordRow a -> JSValue # readJSONs :: JSValue -> Result [RecordRow a] # showJSONs :: [RecordRow a] -> JSValue #
RhsSeparator rhs => Pretty (RecordRow rhs) Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: RecordRow rhs -> Doc Source # ppList :: [RecordRow rhs] -> Doc Source #

data TableRow rhs Source #

Constructors

TableRow LinPattern rhs

Instances

Instances details

Functor TableRow Source #
Instance details Defined in GF.Grammar.Canonical Methods fmap :: (a -> b) -> TableRow a -> TableRow b # (<$) :: a -> TableRow b -> TableRow a #
Foldable TableRow Source #
Instance details Defined in GF.Grammar.Canonical Methods fold :: Monoid m => TableRow m -> m # foldMap :: Monoid m => (a -> m) -> TableRow a -> m # foldMap' :: Monoid m => (a -> m) -> TableRow a -> m # foldr :: (a -> b -> b) -> b -> TableRow a -> b # foldr' :: (a -> b -> b) -> b -> TableRow a -> b # foldl :: (b -> a -> b) -> b -> TableRow a -> b # foldl' :: (b -> a -> b) -> b -> TableRow a -> b # foldr1 :: (a -> a -> a) -> TableRow a -> a # foldl1 :: (a -> a -> a) -> TableRow a -> a # toList :: TableRow a -> [a] # null :: TableRow a -> Bool # length :: TableRow a -> Int # elem :: Eq a => a -> TableRow a -> Bool # maximum :: Ord a => TableRow a -> a # minimum :: Ord a => TableRow a -> a # sum :: Num a => TableRow a -> a # product :: Num a => TableRow a -> a #
Traversable TableRow Source #
Instance details Defined in GF.Grammar.Canonical Methods traverse :: Applicative f => (a -> f b) -> TableRow a -> f (TableRow b) # sequenceA :: Applicative f => TableRow (f a) -> f (TableRow a) # mapM :: Monad m => (a -> m b) -> TableRow a -> m (TableRow b) # sequence :: Monad m => TableRow (m a) -> m (TableRow a) #
Eq rhs => Eq (TableRow rhs) Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: TableRow rhs -> TableRow rhs -> Bool # (/=) :: TableRow rhs -> TableRow rhs -> Bool #
Ord rhs => Ord (TableRow rhs) Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: TableRow rhs -> TableRow rhs -> Ordering # (<) :: TableRow rhs -> TableRow rhs -> Bool # (<=) :: TableRow rhs -> TableRow rhs -> Bool # (>) :: TableRow rhs -> TableRow rhs -> Bool # (>=) :: TableRow rhs -> TableRow rhs -> Bool # max :: TableRow rhs -> TableRow rhs -> TableRow rhs # min :: TableRow rhs -> TableRow rhs -> TableRow rhs #
Show rhs => Show (TableRow rhs) Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> TableRow rhs -> ShowS # show :: TableRow rhs -> String # showList :: [TableRow rhs] -> ShowS #
JSON rhs => JSON (TableRow rhs) Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result (TableRow rhs) # showJSON :: TableRow rhs -> JSValue # readJSONs :: JSValue -> Result [TableRow rhs] # showJSONs :: [TableRow rhs] -> JSValue #
Pretty rhs => Pretty (TableRow rhs) Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: TableRow rhs -> Doc Source # ppList :: [TableRow rhs] -> Doc Source #

Identifiers in Concrete Syntax

newtype PredefId Source #

Constructors

PredefId Id

Instances

Instances details

Eq PredefId Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: PredefId -> PredefId -> Bool # (/=) :: PredefId -> PredefId -> Bool #
Ord PredefId Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: PredefId -> PredefId -> Ordering # (<) :: PredefId -> PredefId -> Bool # (<=) :: PredefId -> PredefId -> Bool # (>) :: PredefId -> PredefId -> Bool # (>=) :: PredefId -> PredefId -> Bool # max :: PredefId -> PredefId -> PredefId # min :: PredefId -> PredefId -> PredefId #
Show PredefId Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> PredefId -> ShowS # show :: PredefId -> String # showList :: [PredefId] -> ShowS #
JSON PredefId Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result PredefId # showJSON :: PredefId -> JSValue # readJSONs :: JSValue -> Result [PredefId] # showJSONs :: [PredefId] -> JSValue #
Pretty PredefId Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: PredefId -> Doc Source # ppList :: [PredefId] -> Doc Source #
PPA PredefId Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: PredefId -> Doc Source #

newtype LabelId Source #

Constructors

LabelId Id

Instances

Instances details

Eq LabelId Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: LabelId -> LabelId -> Bool # (/=) :: LabelId -> LabelId -> Bool #
Ord LabelId Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: LabelId -> LabelId -> Ordering # (<) :: LabelId -> LabelId -> Bool # (<=) :: LabelId -> LabelId -> Bool # (>) :: LabelId -> LabelId -> Bool # (>=) :: LabelId -> LabelId -> Bool # max :: LabelId -> LabelId -> LabelId # min :: LabelId -> LabelId -> LabelId #
Show LabelId Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> LabelId -> ShowS # show :: LabelId -> String # showList :: [LabelId] -> ShowS #
JSON LabelId Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result LabelId # showJSON :: LabelId -> JSValue # readJSONs :: JSValue -> Result [LabelId] # showJSONs :: [LabelId] -> JSValue #
Pretty LabelId Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: LabelId -> Doc Source # ppList :: [LabelId] -> Doc Source #

data VarValueId Source #

Constructors

VarValueId QualId

Instances

Instances details

Eq VarValueId Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: VarValueId -> VarValueId -> Bool # (/=) :: VarValueId -> VarValueId -> Bool #
Ord VarValueId Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: VarValueId -> VarValueId -> Ordering # (<) :: VarValueId -> VarValueId -> Bool # (<=) :: VarValueId -> VarValueId -> Bool # (>) :: VarValueId -> VarValueId -> Bool # (>=) :: VarValueId -> VarValueId -> Bool # max :: VarValueId -> VarValueId -> VarValueId # min :: VarValueId -> VarValueId -> VarValueId #
Show VarValueId Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> VarValueId -> ShowS # show :: VarValueId -> String # showList :: [VarValueId] -> ShowS #
JSON VarValueId Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result VarValueId # showJSON :: VarValueId -> JSValue # readJSONs :: JSValue -> Result [VarValueId] # showJSONs :: [VarValueId] -> JSValue #
Pretty VarValueId Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: VarValueId -> Doc Source # ppList :: [VarValueId] -> Doc Source #

newtype ParamId Source #

Name of param type or param value

Constructors

ParamId QualId

Instances

Instances details

Eq ParamId Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: ParamId -> ParamId -> Bool # (/=) :: ParamId -> ParamId -> Bool #
Ord ParamId Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: ParamId -> ParamId -> Ordering # (<) :: ParamId -> ParamId -> Bool # (<=) :: ParamId -> ParamId -> Bool # (>) :: ParamId -> ParamId -> Bool # (>=) :: ParamId -> ParamId -> Bool # max :: ParamId -> ParamId -> ParamId # min :: ParamId -> ParamId -> ParamId #
Show ParamId Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> ParamId -> ShowS # show :: ParamId -> String # showList :: [ParamId] -> ShowS #
JSON ParamId Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result ParamId # showJSON :: ParamId -> JSValue # readJSONs :: JSValue -> Result [ParamId] # showJSONs :: [ParamId] -> JSValue #
Pretty ParamId Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: ParamId -> Doc Source # ppList :: [ParamId] -> Doc Source #
PPA ParamId Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: ParamId -> Doc Source #

Used in both Abstract and Concrete Syntax

newtype ModId Source #

Constructors

ModId Id

Instances

Instances details

Eq ModId Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: ModId -> ModId -> Bool # (/=) :: ModId -> ModId -> Bool #
Ord ModId Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: ModId -> ModId -> Ordering # (<) :: ModId -> ModId -> Bool # (<=) :: ModId -> ModId -> Bool # (>) :: ModId -> ModId -> Bool # (>=) :: ModId -> ModId -> Bool # max :: ModId -> ModId -> ModId # min :: ModId -> ModId -> ModId #
Show ModId Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> ModId -> ShowS # show :: ModId -> String # showList :: [ModId] -> ShowS #
JSON ModId Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result ModId # showJSON :: ModId -> JSValue # readJSONs :: JSValue -> Result [ModId] # showJSONs :: [ModId] -> JSValue #
Pretty ModId Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: ModId -> Doc Source # ppList :: [ModId] -> Doc Source #

newtype CatId Source #

Constructors

CatId Id

Instances

Instances details

Eq CatId Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: CatId -> CatId -> Bool # (/=) :: CatId -> CatId -> Bool #
Ord CatId Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: CatId -> CatId -> Ordering # (<) :: CatId -> CatId -> Bool # (<=) :: CatId -> CatId -> Bool # (>) :: CatId -> CatId -> Bool # (>=) :: CatId -> CatId -> Bool # max :: CatId -> CatId -> CatId # min :: CatId -> CatId -> CatId #
Show CatId Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> CatId -> ShowS # show :: CatId -> String # showList :: [CatId] -> ShowS #
JSON CatId Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result CatId # showJSON :: CatId -> JSValue # readJSONs :: JSValue -> Result [CatId] # showJSONs :: [CatId] -> JSValue #
Pretty CatId Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: CatId -> Doc Source # ppList :: [CatId] -> Doc Source #

newtype FunId Source #

Constructors

FunId Id

Instances

Instances details

Eq FunId Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: FunId -> FunId -> Bool # (/=) :: FunId -> FunId -> Bool #
Show FunId Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> FunId -> ShowS # show :: FunId -> String # showList :: [FunId] -> ShowS #
JSON FunId Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result FunId # showJSON :: FunId -> JSValue # readJSONs :: JSValue -> Result [FunId] # showJSONs :: [FunId] -> JSValue #
Pretty FunId Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: FunId -> Doc Source # ppList :: [FunId] -> Doc Source #

data VarId Source #

Constructors

Anonymous
VarId Id

Instances

Instances details

Show VarId Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> VarId -> ShowS # show :: VarId -> String # showList :: [VarId] -> ShowS #
JSON VarId Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result VarId # showJSON :: VarId -> JSValue # readJSONs :: JSValue -> Result [VarId] # showJSONs :: [VarId] -> JSValue #
Pretty VarId Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: VarId -> Doc Source # ppList :: [VarId] -> Doc Source #

newtype Flags Source #

Constructors

Flags [(FlagName, FlagValue)]

Instances

Instances details

Show Flags Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> Flags -> ShowS # show :: Flags -> String # showList :: [Flags] -> ShowS #
JSON Flags Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result Flags # showJSON :: Flags -> JSValue # readJSONs :: JSValue -> Result [Flags] # showJSONs :: [Flags] -> JSValue #
Pretty Flags Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: Flags -> Doc Source # ppList :: [Flags] -> Doc Source #

type FlagName = Id Source #

data FlagValue Source #

Constructors

Str String
Int Int
Flt Double

Instances

Instances details

Show FlagValue Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> FlagValue -> ShowS # show :: FlagValue -> String # showList :: [FlagValue] -> ShowS #
JSON FlagValue Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result FlagValue # showJSON :: FlagValue -> JSValue # readJSONs :: JSValue -> Result [FlagValue] # showJSONs :: [FlagValue] -> JSValue #
Pretty FlagValue Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: FlagValue -> Doc Source # ppList :: [FlagValue] -> Doc Source #

Identifiers

type Id = RawIdent Source #

data QualId Source #

Constructors

Qual ModId Id
Unqual Id

Instances

Instances details

Eq QualId Source #
Instance details Defined in GF.Grammar.Canonical Methods (==) :: QualId -> QualId -> Bool # (/=) :: QualId -> QualId -> Bool #
Ord QualId Source #
Instance details Defined in GF.Grammar.Canonical Methods compare :: QualId -> QualId -> Ordering # (<) :: QualId -> QualId -> Bool # (<=) :: QualId -> QualId -> Bool # (>) :: QualId -> QualId -> Bool # (>=) :: QualId -> QualId -> Bool # max :: QualId -> QualId -> QualId # min :: QualId -> QualId -> QualId #
Show QualId Source #
Instance details Defined in GF.Grammar.Canonical Methods showsPrec :: Int -> QualId -> ShowS # show :: QualId -> String # showList :: [QualId] -> ShowS #
JSON QualId Source #
Instance details Defined in GF.Grammar.CanonicalJSON Methods readJSON :: JSValue -> Result QualId # showJSON :: QualId -> JSValue # readJSONs :: JSValue -> Result [QualId] # showJSONs :: [QualId] -> JSValue #
Pretty QualId Source #
Instance details Defined in GF.Grammar.Canonical Methods pp :: QualId -> Doc Source # ppList :: [QualId] -> Doc Source #
PPA QualId Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: QualId -> Doc Source #

Pretty printing

class Pretty a => PPA a where Source #

Pretty print atomically (i.e. wrap it in parentheses if necessary)

Methods

ppA :: a -> Doc Source #

Instances

Instances details

PPA QualId Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: QualId -> Doc Source #
PPA ParamId Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: ParamId -> Doc Source #
PPA PredefId Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: PredefId -> Doc Source #
PPA LinPattern Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: LinPattern -> Doc Source #
PPA LinLiteral Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: LinLiteral -> Doc Source #
PPA LinValue Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: LinValue -> Doc Source #
PPA Type Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: Type -> Doc Source #
PPA arg => PPA (Param arg) Source #
Instance details Defined in GF.Grammar.Canonical Methods ppA :: Param arg -> Doc Source #

class Pretty rhs => RhsSeparator rhs where Source #

Methods

rhsSep :: rhs -> Doc Source #

Instances

Instances details

RhsSeparator LinPattern Source #
Instance details Defined in GF.Grammar.Canonical Methods rhsSep :: LinPattern -> Doc Source #
RhsSeparator LinValue Source #
Instance details Defined in GF.Grammar.Canonical Methods rhsSep :: LinValue -> Doc Source #
RhsSeparator LinType Source #
Instance details Defined in GF.Grammar.Canonical Methods rhsSep :: LinType -> Doc Source #

semiSep :: Pretty a2 => [a2] -> [Doc] Source #

block :: Pretty a2 => [a2] -> Doc Source #

ConcatValue LinValue LinValue
LiteralValue LinLiteral
ErrorValue String
ParamConstant ParamValue
PredefValue PredefId
RecordValue [RecordRowValue]
TableValue LinType [TableRowValue]
TupleValue [LinValue]
VariantValue [LinValue]
VarValue VarValueId
PreValue [([String], LinValue)] LinValue
Projection LinValue LabelId
Selection LinValue LinValue
CommentedValue String LinValue