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.

Contents

The Data Type

Synopsis

data Str
value strMap
value strMapM
value strType
value strList
value listStr
value strStructure

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

The Data Type

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

Source#

Take the type of the method, will crash if called

valuestrList :: Str a -> [a]

Source#

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

valuelistStr :: [a] -> Str a

Source#

Convert a list to a Str

valuestrStructure :: 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.