Pandora.Pattern.Functor.Extendable

Documentation

class Covariant t => Extendable t where

When providing a new instance, you should ensure it satisfies the three laws:
* Duplication interchange: comap (comap f) . duplicate ≡ duplicate . comap f
* Extension interchange: extend f ≡ comap f . duplicate

Minimal complete definition

(=>>)

Methods

(=>>) :: t a -> (t a -> b) -> t b infixl 1

Infix and flipped version of extend, the dual of >>=

(<<=) :: (t a -> b) -> t a -> t b infixr 1

Flipped version of >>=, the dual of =<<

extend :: (t a -> b) -> t a -> t b

Prefix and flipped version of =>>, the dual of bind

duplicate :: t a -> (t :.: t) a

Clone existing structure, the dual of join

(=<=) :: (t b -> c) -> (t a -> b) -> t a -> c infixr 1

Right-to-left Cokleisli composition

(=>=) :: (t a -> b) -> (t b -> c) -> t a -> c infixr 1

Left-to-right Cokleisli composition

Instances

Extendable Identity

Defined in Pandora.Paradigm.Basis.Identity

Methods

(=>>) :: Identity a -> (Identity a -> b) -> Identity b

(<<=) :: (Identity a -> b) -> Identity a -> Identity b

extend :: (Identity a -> b) -> Identity a -> Identity b

duplicate :: Identity a -> (Identity :.: Identity) a

(=<=) :: (Identity b -> c) -> (Identity a -> b) -> Identity a -> c

(=>=) :: (Identity a -> b) -> (Identity b -> c) -> Identity a -> c

Covariant t => Extendable (Cofree t)

Defined in Pandora.Paradigm.Basis.Cofree

Methods

(=>>) :: Cofree t a -> (Cofree t a -> b) -> Cofree t b

(<<=) :: (Cofree t a -> b) -> Cofree t a -> Cofree t b

extend :: (Cofree t a -> b) -> Cofree t a -> Cofree t b

duplicate :: Cofree t a -> (Cofree t :.: Cofree t) a

(=<=) :: (Cofree t b -> c) -> (Cofree t a -> b) -> Cofree t a -> c

(=>=) :: (Cofree t a -> b) -> (Cofree t b -> c) -> Cofree t a -> c

Extendable (Product a)

Defined in Pandora.Paradigm.Basis.Product

Methods

(=>>) :: Product a a0 -> (Product a a0 -> b) -> Product a b

(<<=) :: (Product a a0 -> b) -> Product a a0 -> Product a b

extend :: (Product a a0 -> b) -> Product a a0 -> Product a b

duplicate :: Product a a0 -> (Product a :.: Product a) a0

(=<=) :: (Product a b -> c) -> (Product a a0 -> b) -> Product a a0 -> c

(=>=) :: (Product a a0 -> b) -> (Product a b -> c) -> Product a a0 -> c

Extendable t => Extendable (Storage p t)

Defined in Pandora.Paradigm.Inventory.Storage

Methods

(=>>) :: Storage p t a -> (Storage p t a -> b) -> Storage p t b

(<<=) :: (Storage p t a -> b) -> Storage p t a -> Storage p t b

extend :: (Storage p t a -> b) -> Storage p t a -> Storage p t b

duplicate :: Storage p t a -> (Storage p t :.: Storage p t) a

(=<=) :: (Storage p t b -> c) -> (Storage p t a -> b) -> Storage p t a -> c

(=>=) :: (Storage p t a -> b) -> (Storage p t b -> c) -> Storage p t a -> c