Symantic.Parser.Grammar.Write

Type WriteGrammar

newtype WriteGrammar (showName :: Bool) a

Constructors

WriteGrammar

Fields

• unWriteGrammar :: WriteGrammarInh -> Maybe Builder

Instances

ShowLetName sN letName => Letable letName (WriteGrammar sN)

Defined in Symantic.Parser.Grammar.Write

Methods

def :: letName -> WriteGrammar sN a -> WriteGrammar sN a

ref :: Bool -> letName -> WriteGrammar sN a

Satisfiable tok (WriteGrammar sN)

Defined in Symantic.Parser.Grammar.Write

Methods

satisfy :: [ErrorItem tok] -> TermGrammar (tok -> Bool) -> WriteGrammar sN tok

item :: WriteGrammar sN tok

Lookable (WriteGrammar sN)

Defined in Symantic.Parser.Grammar.Write

Methods

look :: WriteGrammar sN a -> WriteGrammar sN a

negLook :: WriteGrammar sN a -> WriteGrammar sN ()

eof :: WriteGrammar sN ()

Foldable (WriteGrammar sN)

Defined in Symantic.Parser.Grammar.Write

Methods

chainPre :: WriteGrammar sN (a -> a) -> WriteGrammar sN a -> WriteGrammar sN a

chainPost :: WriteGrammar sN a -> WriteGrammar sN (a -> a) -> WriteGrammar sN a

Matchable (WriteGrammar sN)

Defined in Symantic.Parser.Grammar.Write

Methods

conditional :: Eq a => WriteGrammar sN a -> [TermGrammar (a -> Bool)] -> [WriteGrammar sN b] -> WriteGrammar sN b -> WriteGrammar sN b

match :: Eq a => WriteGrammar sN a -> [TermGrammar a] -> (TermGrammar a -> WriteGrammar sN b) -> WriteGrammar sN b -> WriteGrammar sN b

Selectable (WriteGrammar sN)

Defined in Symantic.Parser.Grammar.Write

Methods

branch :: WriteGrammar sN (Either a b) -> WriteGrammar sN (a -> c) -> WriteGrammar sN (b -> c) -> WriteGrammar sN c

Alternable (WriteGrammar sN)

Defined in Symantic.Parser.Grammar.Write

Methods

(<|>) :: WriteGrammar sN a -> WriteGrammar sN a -> WriteGrammar sN a

empty :: WriteGrammar sN a

try :: WriteGrammar sN a -> WriteGrammar sN a

(<+>) :: (Applicable (WriteGrammar sN), Alternable (WriteGrammar sN)) => WriteGrammar sN a -> WriteGrammar sN b -> WriteGrammar sN (Either a b)

Applicable (WriteGrammar sN)

Defined in Symantic.Parser.Grammar.Write

Methods

(<$>) :: TermGrammar (a -> b) -> WriteGrammar sN a -> WriteGrammar sN b

(<&>) :: WriteGrammar sN a -> TermGrammar (a -> b) -> WriteGrammar sN b

(<$) :: TermGrammar a -> WriteGrammar sN b -> WriteGrammar sN a

($>) :: WriteGrammar sN a -> TermGrammar b -> WriteGrammar sN b

pure :: TermGrammar a -> WriteGrammar sN a

(<*>) :: WriteGrammar sN (a -> b) -> WriteGrammar sN a -> WriteGrammar sN b

liftA2 :: TermGrammar (a -> b -> c) -> WriteGrammar sN a -> WriteGrammar sN b -> WriteGrammar sN c

(<*) :: WriteGrammar sN a -> WriteGrammar sN b -> WriteGrammar sN a

(*>) :: WriteGrammar sN a -> WriteGrammar sN b -> WriteGrammar sN b

(<**>) :: WriteGrammar sN a -> WriteGrammar sN (a -> b) -> WriteGrammar sN b

IsString (WriteGrammar sN a)

Defined in Symantic.Parser.Grammar.Write

Methods

fromString :: String -> WriteGrammar sN a

Type WriteGrammarInh

data WriteGrammarInh

Constructors

WriteGrammarInh

Fields

• writeGrammarInh_indent :: Builder
• writeGrammarInh_op :: (Infix, Side)
• writeGrammarInh_pair :: Pair

emptyWriteGrammarInh :: WriteGrammarInh

writeGrammar :: WriteGrammar sN a -> Text

pairWriteGrammarInh :: Semigroup s => IsString s => WriteGrammarInh -> Infix -> Maybe s -> Maybe s