uniplate-1.6.13: Help writing simple, concise and fast generic operations.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Generics.Str

Description

This module provides the Str data type, which is used by the underlying uniplate and biplate methods. It should not be used directly under normal circumstances.

Synopsis

The Data Type

data Str a Source #

Constructors

Zero 
One a 
Two (Str a) (Str a) 

Instances

Instances details
Foldable Str Source # 
Instance details

Defined in Data.Generics.Str

Methods

fold :: Monoid m => Str m -> m

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

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Str a -> a

foldl1 :: (a -> a -> a) -> Str a -> a

toList :: Str a -> [a]

null :: Str a -> Bool

length :: Str a -> Int

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

maximum :: Ord a => Str a -> a

minimum :: Ord a => Str a -> a

sum :: Num a => Str a -> a

product :: Num a => Str a -> a

Traversable Str Source # 
Instance details

Defined in Data.Generics.Str

Methods

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

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

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

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

Functor Str Source # 
Instance details

Defined in Data.Generics.Str

Methods

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

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

Show a => Show (Str a) Source # 
Instance details

Defined in Data.Generics.Str

Methods

showsPrec :: Int -> Str a -> ShowS

show :: Str a -> String

showList :: [Str a] -> ShowS

Eq a => Eq (Str a) Source # 
Instance details

Defined in Data.Generics.Str

Methods

(==) :: Str a -> Str a -> Bool

(/=) :: Str a -> Str a -> Bool

strMap :: (a -> b) -> Str a -> Str b Source #

strMapM :: Applicative m => (a -> m b) -> Str a -> m (Str b) Source #

strType :: Str a -> a Source #

Take the type of the method, will crash if called

strList :: Str a -> [a] Source #

Convert a Str to a list, assumes the value was created with listStr

listStr :: [a] -> Str a Source #

Convert a list to a Str

strStructure :: Str a -> ([a], [a] -> Str a) Source #

Transform a Str to a list, and back again, in a structure preserving way. The output and input lists must be equal in length.