| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | None |
| Language | Haskell2010 |
OAlg.Limes.Cone.Structure
Contents
Description
definition of eligible cone structures.
Synopsis
- data ConeStruct s a where
- ConeStructMlt :: forall a. Multiplicative a => ConeStruct Mlt a
- ConeStructDst :: forall a. Distributive a => ConeStruct Dst a
- cnStructO :: TransformableG o s s => ConeStruct s a -> ConeStruct s (o a)
- cnStructMlt :: ConeStruct s a -> Struct Mlt a
- cnStruct :: ConeStruct s a -> Struct s a
- cnStructMltOrDst :: ConeStruct s a -> Either (s :~: Mlt) (s :~: Dst)
Cone Struct
data ConeStruct s a where Source #
cone structures.
Constructors
| ConeStructMlt :: forall a. Multiplicative a => ConeStruct Mlt a | |
| ConeStructDst :: forall a. Distributive a => ConeStruct Dst a |
Instances
| Show (ConeStruct s a) Source # | |
Defined in OAlg.Limes.Cone.Structure Methods showsPrec :: Int -> ConeStruct s a -> ShowS # show :: ConeStruct s a -> String # showList :: [ConeStruct s a] -> ShowS # | |
| Eq (ConeStruct s a) Source # | |
Defined in OAlg.Limes.Cone.Structure Methods (==) :: ConeStruct s a -> ConeStruct s a -> Bool # (/=) :: ConeStruct s a -> ConeStruct s a -> Bool # | |
cnStructO :: TransformableG o s s => ConeStruct s a -> ConeStruct s (o a) Source #
the opposite cone structure.
cnStructMlt :: ConeStruct s a -> Struct Mlt a Source #
the Multiplicative structure of a cone structure.
cnStruct :: ConeStruct s a -> Struct s a Source #
the associated structure of a cone structure.