Moduleuniplate-1.6.13Haskell2010

Data.Generics.Str

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.

1 type
6 values

Packageuniplate-1.6.13
Exports7
LanguageHaskell2010
LicenceBSD-3-Clause
SourceStr.hs

The Data Type

7 declarations

datadata Str a

Constructors

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

Instances5Functor, Foldable, Traversable, Eq, Show

Functor StrDefined in uniplate-1.6.13 · Data.Generics.Str
Foldable StrDefined in uniplate-1.6.13 · Data.Generics.Str
Traversable StrDefined in uniplate-1.6.13 · Data.Generics.Str
Eq a => Eq (Str a)Defined in uniplate-1.6.13 · Data.Generics.Str
Show a => Show (Str a)Defined in uniplate-1.6.13 · Data.Generics.Str

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

valuestrMapM :: Applicative m => (a -> m b) -> Str a -> m (Str b)

valuestrType :: Str a -> a

Take the type of the method, will crash if called

valuestrList :: Str a -> [a]

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

valuelistStr :: [a] -> Str a

Convert a list to a Str

valuestrStructure :: Str a -> ([a], [a] -> Str a)

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