uniplate-1.5.1: Help writing simple, concise and fast generic operations.Source codeContentsIndex
Data.Generics.Str
Contents
The Data Type
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
data Str a
= Zero
| One a
| Two (Str a) (Str a)
strType :: Str a -> a
strList :: Str a -> [a]
listStr :: [a] -> Str a
strStructure :: Str a -> ([a], [a] -> Str a)
The Data Type
data Str a Source
Constructors
Zero
One a
Two (Str a) (Str a)
show/hide Instances
strType :: Str a -> aSource
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 aSource
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.
Produced by Haddock version 2.4.2