Test.Syd.SpecForest

Documentation

type SpecForest a = [SpecTree a]

data SpecTree a

Constructors

SpecifyNode Text a

PendingNode Text (Maybe Text)

DescribeNode Text (SpecForest a)

SubForestNode (SpecForest a)

Instances

Functor SpecTree

Defined in Test.Syd.SpecForest

Methods

fmap :: (a -> b) -> SpecTree a -> SpecTree b

(<$) :: a -> SpecTree b -> SpecTree a

Foldable SpecTree

Defined in Test.Syd.SpecForest

Methods

fold :: Monoid m => SpecTree m -> m

foldMap :: Monoid m => (a -> m) -> SpecTree a -> m

foldMap' :: Monoid m => (a -> m) -> SpecTree a -> m

foldr :: (a -> b -> b) -> b -> SpecTree a -> b

foldr' :: (a -> b -> b) -> b -> SpecTree a -> b

foldl :: (b -> a -> b) -> b -> SpecTree a -> b

foldl' :: (b -> a -> b) -> b -> SpecTree a -> b

foldr1 :: (a -> a -> a) -> SpecTree a -> a

foldl1 :: (a -> a -> a) -> SpecTree a -> a

toList :: SpecTree a -> [a]

null :: SpecTree a -> Bool

length :: SpecTree a -> Int

elem :: Eq a => a -> SpecTree a -> Bool

maximum :: Ord a => SpecTree a -> a

minimum :: Ord a => SpecTree a -> a

sum :: Num a => SpecTree a -> a

product :: Num a => SpecTree a -> a

Traversable SpecTree

Defined in Test.Syd.SpecForest

Methods

traverse :: Applicative f => (a -> f b) -> SpecTree a -> f (SpecTree b)

sequenceA :: Applicative f => SpecTree (f a) -> f (SpecTree a)

mapM :: Monad m => (a -> m b) -> SpecTree a -> m (SpecTree b)

sequence :: Monad m => SpecTree (m a) -> m (SpecTree a)

flattenSpecForest :: SpecForest a -> [([Text], a)]

flattenSpecTree :: SpecTree a -> [([Text], a)]