Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Forest.StructuredPaired

Description

A semi-specialized forest structure with the following atomic elements: (i) unstructured regions of type a, (ii) binary paired regions of type (b,b) with a recursing tree (or insertion between the two b's), (iii) juxtaposition of two elements, and (iv) an empty structure.

Synopsis

data SPForest r t
- = SPR r
- | SPT t (SPForest r t) t
- | SPJ [SPForest r t]
- | SPE
_SPE :: forall r t. Prism' (SPForest r t) ()
_SPJ :: forall r t. Prism' (SPForest r t) [SPForest r t]
_SPT :: forall r t. Prism' (SPForest r t) (t, SPForest r t, t)
_SPR :: forall r t. Prism' (SPForest r t) r
toStaticForest :: SPForest r t -> Forest p v a

Documentation

data SPForest r t Source #

A structured forest.

Constructors

SPR r	An (unstructured) region with the structured forest. In case `r` forms a monoid `SPJ (SPR a) (SPR b) equiv SPR (a<>b)` should hold.
SPT t (SPForest r t) t	A tree within the forest brackets the forest on the left and right side with elements of type `t`.
SPJ [SPForest r t]	Juxtaposition of two forests. This allows for simple concatenation of forests. In particular, there is no particular position, while lists prefer `x:xs` vs `xs++[x]`.
SPE	An empty forest. `SPJ SPE SPE equiv SPE` should hold.

Instances

Instances details

Bifoldable SPForest Source #
Instance details Defined in Data.Forest.StructuredPaired Methods bifold :: Monoid m => SPForest m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> SPForest a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> SPForest a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> SPForest a b -> c #
Bifunctor SPForest Source #
Instance details Defined in Data.Forest.StructuredPaired Methods bimap :: (a -> b) -> (c -> d) -> SPForest a c -> SPForest b d # first :: (a -> b) -> SPForest a c -> SPForest b c # second :: (b -> c) -> SPForest a b -> SPForest a c #
Bitraversable SPForest Source #
Instance details Defined in Data.Forest.StructuredPaired Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> SPForest a b -> f (SPForest c d) #
Foldable (SPForest r) Source #
Instance details Defined in Data.Forest.StructuredPaired Methods fold :: Monoid m => SPForest r m -> m # foldMap :: Monoid m => (a -> m) -> SPForest r a -> m # foldMap' :: Monoid m => (a -> m) -> SPForest r a -> m # foldr :: (a -> b -> b) -> b -> SPForest r a -> b # foldr' :: (a -> b -> b) -> b -> SPForest r a -> b # foldl :: (b -> a -> b) -> b -> SPForest r a -> b # foldl' :: (b -> a -> b) -> b -> SPForest r a -> b # foldr1 :: (a -> a -> a) -> SPForest r a -> a # foldl1 :: (a -> a -> a) -> SPForest r a -> a # toList :: SPForest r a -> [a] # null :: SPForest r a -> Bool # length :: SPForest r a -> Int # elem :: Eq a => a -> SPForest r a -> Bool # maximum :: Ord a => SPForest r a -> a # minimum :: Ord a => SPForest r a -> a # sum :: Num a => SPForest r a -> a # product :: Num a => SPForest r a -> a #
Traversable (SPForest r) Source #
Instance details Defined in Data.Forest.StructuredPaired Methods traverse :: Applicative f => (a -> f b) -> SPForest r a -> f (SPForest r b) # sequenceA :: Applicative f => SPForest r (f a) -> f (SPForest r a) # mapM :: Monad m => (a -> m b) -> SPForest r a -> m (SPForest r b) # sequence :: Monad m => SPForest r (m a) -> m (SPForest r a) #
Functor (SPForest r) Source #
Instance details Defined in Data.Forest.StructuredPaired Methods fmap :: (a -> b) -> SPForest r a -> SPForest r b # (<$) :: a -> SPForest r b -> SPForest r a #
Generic (SPForest r t) Source #
Instance details Defined in Data.Forest.StructuredPaired Associated Types type Rep (SPForest r t) :: Type -> Type # Methods from :: SPForest r t -> Rep (SPForest r t) x # to :: Rep (SPForest r t) x -> SPForest r t #
(Read r, Read t) => Read (SPForest r t) Source #
Instance details Defined in Data.Forest.StructuredPaired Methods readsPrec :: Int -> ReadS (SPForest r t) # readList :: ReadS [SPForest r t] # readPrec :: ReadPrec (SPForest r t) # readListPrec :: ReadPrec [SPForest r t] #
(Show r, Show t) => Show (SPForest r t) Source #
Instance details Defined in Data.Forest.StructuredPaired Methods showsPrec :: Int -> SPForest r t -> ShowS # show :: SPForest r t -> String # showList :: [SPForest r t] -> ShowS #
(Eq r, Eq t) => Eq (SPForest r t) Source #
Instance details Defined in Data.Forest.StructuredPaired Methods (==) :: SPForest r t -> SPForest r t -> Bool # (/=) :: SPForest r t -> SPForest r t -> Bool #
(Ord r, Ord t) => Ord (SPForest r t) Source #
Instance details Defined in Data.Forest.StructuredPaired Methods compare :: SPForest r t -> SPForest r t -> Ordering # (<) :: SPForest r t -> SPForest r t -> Bool # (<=) :: SPForest r t -> SPForest r t -> Bool # (>) :: SPForest r t -> SPForest r t -> Bool # (>=) :: SPForest r t -> SPForest r t -> Bool # max :: SPForest r t -> SPForest r t -> SPForest r t # min :: SPForest r t -> SPForest r t -> SPForest r t #
type Rep (SPForest r t) Source #
Instance details Defined in Data.Forest.StructuredPaired type Rep (SPForest r t) = D1 ('MetaData "SPForest" "Data.Forest.StructuredPaired" "ForestStructures-0.0.1.1-4oNdTohVTrXIpd26GLKfyl" 'False) ((C1 ('MetaCons "SPR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 r)) :+: C1 ('MetaCons "SPT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 t) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SPForest r t)) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 t)))) :+: (C1 ('MetaCons "SPJ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SPForest r t])) :+: C1 ('MetaCons "SPE" 'PrefixI 'False) (U1 :: Type -> Type)))

_SPE :: forall r t. Prism' (SPForest r t) () Source #

_SPJ :: forall r t. Prism' (SPForest r t) [SPForest r t] Source #

_SPT :: forall r t. Prism' (SPForest r t) (t, SPForest r t, t) Source #

_SPR :: forall r t. Prism' (SPForest r t) r Source #

toStaticForest :: SPForest r t -> Forest p v a Source #

Structured Forests can be transformed into static forests.

TODO types involved!