| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
OAlg.Data.Constructable
Contents
Description
constructing values by there Form..
Constructable
class Exposable x => Constructable x where Source #
types with an associated form, which serves as a blueprint to construct a corresponding value.
A common setting for this structure is a module with a reducible type f
(see Reduciblee with a private constructor - lets say
E - to hold the reduced f. Than an implementation would be
make f = E (reduce f)
and
form (E f) = f
Property Let x be an instance of the class Constructable than holds:
For all x in x holds: make (form x) == x
Instances
| Oriented x => Constructable (GLT x) Source # | |
| Entity x => Constructable (ProductSymbol x) Source # | |
Defined in OAlg.Entity.Product.ProductSymbol Methods make :: Form (ProductSymbol x) -> ProductSymbol x Source # | |
| Eq i => Constructable (Permutation i) Source # | |
Defined in OAlg.Entity.Sequence.Permutation Methods make :: Form (Permutation i) -> Permutation i Source # | |
| (Oriented a, Integral r) => Constructable (Product r a) Source # | |
| (Fibred a, Ord a, Semiring r, Commutative r) => Constructable (Sum r a) Source # | |
| (DefaultValue d i x, Eq x) => Constructable (FSequence 'Lazy d i x) Source # | |
| (DefaultValue d i x, Eq x) => Constructable (FSequence 'Strict d i x) Source # | |
| Constructable (HomCo m s o x y) Source # | |
| Constructable (SHom r s o h x y) Source # | |
cmap :: (Constructable x, Constructable y) => (Form x -> Form y) -> x -> y Source #
Exposable
class Exposable x where Source #
types with an associated form type and a function form which exposes its values
to its form.