grammar-combinators-0.2.3: A parsing library of context-free grammar combinators.

Text.GrammarCombinators.Base.MultiRec

Documentation

module Generics.MultiRec.Base

module Generics.MultiRec.HFunctor

data IL xi r ix Source

Constructors

IL 

Fields

unIL :: [r xi]
 

Instances

El phi xi => HFunctor phi (IL xi) 

data SubPF phi phi' unusedPhi' supIxT r ix whereSource

Constructors

SubPF :: phi' ix -> PF phi' (SubVal supIxT r) ix -> SubPF phi phi' phi' supIxT r (supIxT ix) 

Instances

(HFunctor phi' (PF phi'), DomainEmbedding phi phi' supIxT) => HFunctor phi (SubPF phi phi' phi' supIxT)