pandora-0.4.6: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Schemes.PQ_

Documentation

newtype PQ_ p q a b Source #

Constructors

PQ_ (p a (q b a)) 

Instances

Instances details
Interpreted (PQ_ p q a) Source # 
Instance details

Defined in Pandora.Paradigm.Schemes.PQ_

Associated Types

type Primary (PQ_ p q a) a Source #

Methods

run :: PQ_ p q a a0 -> Primary (PQ_ p q a) a0 Source #

unite :: Primary (PQ_ p q a) a0 -> PQ_ p q a a0 Source #

(||=) :: Interpreted u => (Primary (PQ_ p q a) a0 -> Primary u b) -> PQ_ p q a a0 -> u b Source #

(=||) :: Interpreted u => (PQ_ p q a a0 -> u b) -> Primary (PQ_ p q a) a0 -> Primary u b Source #

(<$||=) :: (Covariant (->) (->) j, Interpreted u) => (Primary (PQ_ p q a) a0 -> Primary u b) -> (j := PQ_ p q a a0) -> j := u b Source #

(<$$||=) :: (Covariant (->) (->) j, Covariant (->) (->) k, Interpreted u) => (Primary (PQ_ p q a) a0 -> Primary u b) -> ((j :. k) := PQ_ p q a a0) -> (j :. k) := u b Source #

(<$$$||=) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted u) => (Primary (PQ_ p q a) a0 -> Primary u b) -> ((j :. (k :. l)) := PQ_ p q a a0) -> (j :. (k :. l)) := u b Source #

(<$$$$||=) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) m, Interpreted u) => (Primary (PQ_ p q a) a0 -> Primary u b) -> ((j :. (k :. (l :. m))) := PQ_ p q a a0) -> (j :. (k :. (l :. m))) := u b Source #

(=||$>) :: (Covariant (->) (->) j, Interpreted u) => (PQ_ p q a a0 -> u b) -> (j := Primary (PQ_ p q a) a0) -> j := Primary u b Source #

(=||$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Interpreted u) => (PQ_ p q a a0 -> u b) -> ((j :. k) := Primary (PQ_ p q a) a0) -> (j :. k) := Primary u b Source #

(=||$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Interpreted u) => (PQ_ p q a a0 -> u b) -> ((j :. (k :. l)) := Primary (PQ_ p q a) a0) -> (j :. (k :. l)) := Primary u b Source #

(=||$$$$>) :: (Covariant (->) (->) j, Covariant (->) (->) k, Covariant (->) (->) l, Covariant (->) (->) m, Interpreted u) => (PQ_ p q a a0 -> u b) -> ((j :. (k :. (l :. m))) := Primary (PQ_ p q a) a0) -> (j :. (k :. (l :. m))) := Primary u b Source #

type Primary (PQ_ p q a) b Source # 
Instance details

Defined in Pandora.Paradigm.Schemes.PQ_

type Primary (PQ_ p q a) b = p a (q b a)