Symantic.Parser.Grammar.Write

Type WriteComb

newtype WriteComb a

Constructors

WriteComb

Fields

• unWriteComb :: WriteCombInh -> Maybe Builder

Instances

Lookable WriteComb

Defined in Symantic.Parser.Grammar.Write

Methods

look :: WriteComb a -> WriteComb a

negLook :: WriteComb a -> WriteComb ()

eof :: WriteComb ()

Foldable WriteComb

Defined in Symantic.Parser.Grammar.Write

Methods

chainPre :: WriteComb (a -> a) -> WriteComb a -> WriteComb a

chainPost :: WriteComb a -> WriteComb (a -> a) -> WriteComb a

Matchable WriteComb

Defined in Symantic.Parser.Grammar.Write

Methods

conditional :: Eq a => [Haskell (a -> Bool)] -> [WriteComb b] -> WriteComb a -> WriteComb b -> WriteComb b

match :: Eq a => [Haskell a] -> WriteComb a -> (Haskell a -> WriteComb b) -> WriteComb b -> WriteComb b

Selectable WriteComb

Defined in Symantic.Parser.Grammar.Write

Methods

branch :: WriteComb (Either a b) -> WriteComb (a -> c) -> WriteComb (b -> c) -> WriteComb c

Alternable WriteComb

Defined in Symantic.Parser.Grammar.Write

Methods

(<|>) :: WriteComb a -> WriteComb a -> WriteComb a

empty :: WriteComb a

try :: WriteComb a -> WriteComb a

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

Applicable WriteComb

Defined in Symantic.Parser.Grammar.Write

Methods

(<$>) :: Haskell (a -> b) -> WriteComb a -> WriteComb b

(<&>) :: WriteComb a -> Haskell (a -> b) -> WriteComb b

(<$) :: Haskell a -> WriteComb b -> WriteComb a

($>) :: WriteComb a -> Haskell b -> WriteComb b

pure :: Haskell a -> WriteComb a

(<*>) :: WriteComb (a -> b) -> WriteComb a -> WriteComb b

liftA2 :: Haskell (a -> b -> c) -> WriteComb a -> WriteComb b -> WriteComb c

(<*) :: WriteComb a -> WriteComb b -> WriteComb a

(*>) :: WriteComb a -> WriteComb b -> WriteComb b

(<**>) :: WriteComb a -> WriteComb (a -> b) -> WriteComb b

Show letName => Letable letName WriteComb

Defined in Symantic.Parser.Grammar.Write

Methods

def :: letName -> WriteComb a -> WriteComb a

ref :: Bool -> letName -> WriteComb a

Satisfiable WriteComb tok

Defined in Symantic.Parser.Grammar.Write

Methods

satisfy :: [ErrorItem tok] -> Haskell (tok -> Bool) -> WriteComb tok

IsString (WriteComb a)

Defined in Symantic.Parser.Grammar.Write

Methods

fromString :: String -> WriteComb a

Type WriteCombInh

data WriteCombInh

Constructors

WriteCombInh

Fields

• writeCombInh_indent :: Builder
• writeCombInh_op :: (Infix, Side)
• writeCombInh_pair :: Pair

emptyWriteCombInh :: WriteCombInh

writeComb :: WriteComb a -> Text

pairWriteCombInh :: Semigroup s => IsString s => WriteCombInh -> Infix -> Maybe s -> Maybe s