Language.SexpGrammar.Generic

GHC.Generics helpers

with :: (Generic a, MkPrismList (Rep a), MkStackPrism f, (~) (* -> *) (Rep a) (M1 * D d (M1 * C c f)), (~) * (StackPrismLhs f t) b, Constructor Meta c) => (Grammar p b ((:-) a t) -> Grammar p s ((:-) a t)) -> Grammar p s ((:-) a t)

Provide a data constructor/stack isomorphism to a grammar working on stacks. Works for types with one data constructor. For sum types use match and Coproduct.

match :: (Generic a, MkPrismList (Rep a), Match (Rep a) bs t, (~) [*] bs (Coll (Rep a) t)) => Coproduct p s bs a t -> Grammar p s ((:-) a t)

Combine all grammars provided in Coproduct list into a single grammar.

data Coproduct p s (bs :: [*]) a t :: * -> * -> [*] -> * -> * -> * where

Heterogenous list of grammars, each one matches a data constructor of type a. With is used to provide a data constructor/stack isomorphism to a grammar working on stacks. End ends the list of matches.

Constructors

With :: Coproduct p s ((:) * b bs1) a t

End :: Coproduct p s ([] *) a t