ADP.Fusion.Core.Classes
data OutsideContext s
data InsideContext s
data ComplementContext
data ExtComplementContext s
class RuleContext i
data family RunningIndex i :: *
class Element x i
class MkStream m x i
class Build x
data S
data StaticCheck a b
data SLR z
data EmptyOk
data NonEmpty
class MinSize c
class ModifyConstraint t