origami-0.0.1: A framework for transforming heterogenous data through folds

Safe Haskell	None
Language	Haskell2010

Data.Origami.Internal.FoldFamily

Contents

Data structures
Lenses
Prisms

Description

Data structures representing a set of datatypes to be folded.

Synopsis

Data structures

newtype FoldFamily Source

Represents a set of datatypes to be folded.

Constructors

FoldFamily [DataTy]

Instances

Eq FoldFamily
Data FoldFamily
Ord FoldFamily
Show FoldFamily
Typeable * FoldFamily

data DataTy Source

Represents a datatype to be folded.

Constructors

DataTy Name [DataCase]

Instances

Eq DataTy
Data DataTy
Ord DataTy
Show DataTy
HasName DataTy
Typeable * DataTy

data DataCase Source

Represents one way to construct a datatype; that is, one of its constructors and its arguments.

Constructors

DataCase Name [DataField]

Instances

Eq DataCase
Data DataCase
Ord DataCase
Show DataCase
HasName DataCase
Typeable * DataCase

data DataField Source

Represents a component of a datatype; that is, an argument to one of its constructors.

Constructors

Atomic Ty	a type to be taken verbatim, not to be folded
Nonatomic Ty	a type to be recursively folded
Funct Name DataField	an application of a `Functor`
Bifunct Name DataField DataField	an application of a `Bifunctor`
Trifunct Name DataField DataField DataField	an application of a `Trifunctor`

Instances

Eq DataField
Data DataField
Ord DataField
Show DataField
Typeable * DataField

newtype Ty Source

Represents a datatype's name.

Constructors

Instances

Eq Ty
Data Ty
Ord Ty
Show Ty
HasName Ty
Typeable * Ty

Lenses

class HasName d where Source

Access to the Name of a Data structure

Methods

name :: Lens' d Name Source

Instances

HasName Ty
HasName DataCase
HasName DataTy

dataCases :: Lens' DataTy [DataCase] Source

Access to the DataCases of a datatype

dataFields :: Lens' DataCase [DataField] Source

Access to the DataFieldss of a DataCase

dataTys :: Iso' FoldFamily [DataTy] Source

Access to the datatypes of a fold family.

Prisms

_Atomic :: Prism' DataField Ty Source

Provides a Traversal for an atomic Ty in a DataField

_Nonatomic :: Prism' DataField Ty Source

Provides a Traversal for an nonatomic Ty in a DataField

_Funct :: Prism' DataField (Name, DataField) Source

Provides a Traversal for a Functor application in a DataField

_Bifunct :: Prism' DataField (Name, DataField, DataField) Source

Provides a Traversal for a Bifunctor application in a DataField

_Trifunct :: Prism' DataField (Name, DataField, DataField, DataField) Source

Provides a Traversal for a Trifunctor application in a DataField