PGF.Haskell

Auxiliary types and functions for use with grammars translated to Haskell with gf -output-format=haskell -haskell=concrete

Concrete syntax

class EnumAll a where

For enumerating parameter values used in tables

Minimal complete definition

enumAll

Methods

enumAll :: [a]

Instances

EnumAll t => EnumAll (R_s t)

Methods

enumAll :: [R_s t]

table :: (EnumAll k, Ord k) => [a] -> k -> a

Tables

type Str = [Tok]

Token sequences, output form linearization functions

data Tok

Tokens

Constructors

TK String

TP [([Prefix], Str)] Str

BIND

SOFT_BIND

SOFT_SPACE

CAPIT

ALL_CAPIT

Instances

Eq Tok

Methods

(==) :: Tok -> Tok -> Bool

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

Ord Tok

Methods

compare :: Tok -> Tok -> Ordering

(<) :: Tok -> Tok -> Bool

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

(>) :: Tok -> Tok -> Bool

(>=) :: Tok -> Tok -> Bool

max :: Tok -> Tok -> Tok

min :: Tok -> Tok -> Tok

Show Tok

Methods

showsPrec :: Int -> Tok -> ShowS

show :: Tok -> String

showList :: [Tok] -> ShowS

type Prefix

Arguments

 = String

To be matched with the prefix of a following token

fromStr :: Str -> String

Render a token sequence as a String

Common record types

class Has_s r a | r -> a where

Overloaded function to project the s field from any record type

Minimal complete definition

proj_s

Methods

proj_s :: r -> a

Instances

Has_s (R_s t) t

Methods

proj_s :: R_s t -> t

data R_s t

Haskell representation of the GF record type {s:t}

Constructors

R_s t

Instances

Eq t => Eq (R_s t)

Methods

(==) :: R_s t -> R_s t -> Bool

(/=) :: R_s t -> R_s t -> Bool

Ord t => Ord (R_s t)

Methods

compare :: R_s t -> R_s t -> Ordering

(<) :: R_s t -> R_s t -> Bool

(<=) :: R_s t -> R_s t -> Bool

(>) :: R_s t -> R_s t -> Bool

(>=) :: R_s t -> R_s t -> Bool

max :: R_s t -> R_s t -> R_s t

min :: R_s t -> R_s t -> R_s t

Show t => Show (R_s t)

Methods

showsPrec :: Int -> R_s t -> ShowS

show :: R_s t -> String

showList :: [R_s t] -> ShowS

EnumAll t => EnumAll (R_s t)

Methods

enumAll :: [R_s t]

Has_s (R_s t) t

Methods

proj_s :: R_s t -> t

to_R_s :: Has_s r t => r -> R_s t

Coerce from any record type {...,s:t,...} to the supertype {s:t}

Variants

(+++) :: Applicative f => f [a] -> f [a] -> f [a] infixr 5

Concatenation with variants

(!) :: Monad m => (t -> m (m a)) -> t -> m a

Selection from tables with variants

(!$) :: Monad m => (a1 -> m a) -> m a1 -> m a

(!*) :: Monad m => m (a1 -> m a) -> m a1 -> m a