Pandora.Paradigm.Primary.Transformer

Documentation

module Pandora.Paradigm.Primary.Transformer.Flip

module Pandora.Paradigm.Primary.Transformer.Backwards

module Pandora.Paradigm.Primary.Transformer.Reverse

module Pandora.Paradigm.Primary.Transformer.Construction

module Pandora.Paradigm.Primary.Transformer.Instruction

module Pandora.Paradigm.Primary.Transformer.Outline

module Pandora.Paradigm.Primary.Transformer.Jack

module Pandora.Paradigm.Primary.Transformer.Jet

module Pandora.Paradigm.Primary.Transformer.Day

module Pandora.Paradigm.Primary.Transformer.Kan

module Pandora.Paradigm.Primary.Transformer.Continuation

module Pandora.Paradigm.Primary.Transformer.Tap

module Pandora.Paradigm.Primary.Transformer.Yoneda

Orphan instances

Interpreted (Flip v a)

Associated Types

type Primary (Flip v a) a

Methods

run :: Flip v a a0 -> Primary (Flip v a) a0

unite :: Primary (Flip v a) a0 -> Flip v a a0

(||=) :: Interpreted u => (Primary (Flip v a) a0 -> Primary u b) -> Flip v a a0 -> u b

(=||) :: Interpreted u => (Flip v a a0 -> u b) -> Primary (Flip v a) a0 -> Primary u b

(<$||=) :: (Covariant (->) (->) j, Interpreted u) => (Primary (Flip v a) a0 -> Primary u b) -> (j := Flip v a a0) -> j := u b

(<$$||=) :: (Covariant (->) (->) j, Covariant (->) (->) k, Interpreted u) => (Primary (Flip v a) a0 -> Primary u b) -> ((j :. k) := Flip v a a0) -> (j :. k) := u b

(<$$$||=) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted u) => (Primary (Flip v a) a0 -> Primary u b) -> ((j :. (k :. l)) := Flip v a a0) -> (j :. (k :. l)) := u b

(<$$$$||=) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) m, Interpreted u) => (Primary (Flip v a) a0 -> Primary u b) -> ((j :. (k :. (l :. m))) := Flip v a a0) -> (j :. (k :. (l :. m))) := u b

(=||$>) :: (Covariant (->) (->) j, Interpreted u) => (Flip v a a0 -> u b) -> (j := Primary (Flip v a) a0) -> j := Primary u b

(=||$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Interpreted u) => (Flip v a a0 -> u b) -> ((j :. k) := Primary (Flip v a) a0) -> (j :. k) := Primary u b

(=||$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted u) => (Flip v a a0 -> u b) -> ((j :. (k :. l)) := Primary (Flip v a) a0) -> (j :. (k :. l)) := Primary u b

(=||$$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) m, Interpreted u) => (Flip v a a0 -> u b) -> ((j :. (k :. (l :. m))) := Primary (Flip v a) a0) -> (j :. (k :. (l :. m))) := Primary u b