Pandora.Pattern.Junction.Schemes.UTU

Documentation

newtype UTU ct cu t u a

Constructors

UTU ((u :.: t u) >< a)

Instances

(forall (u' :: Type -> Type). Pointable u', Liftable t) => Liftable (UTU Co Co t)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

lift :: Covariant u => u ~> UTU Co Co t u

(forall (u' :: Type -> Type). Extractable u', Lowerable t) => Lowerable (UTU Co Co t)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

lower :: Covariant u => UTU Co Co t u ~> u

(Covariant (t u), Covariant u) => Covariant (UTU Co Co t u)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

(<$>) :: (a -> b) -> UTU Co Co t u a -> UTU Co Co t u b

comap :: (a -> b) -> UTU Co Co t u a -> UTU Co Co t u b

(<$) :: a -> UTU Co Co t u b -> UTU Co Co t u a

($>) :: UTU Co Co t u a -> b -> UTU Co Co t u b

void :: UTU Co Co t u a -> UTU Co Co t u ()

loeb :: UTU Co Co t u (UTU Co Co t u a -> a) -> UTU Co Co t u a

(<&>) :: UTU Co Co t u a -> (a -> b) -> UTU Co Co t u b

(<$$>) :: Covariant u0 => (a -> b) -> ((UTU Co Co t u :.: u0) >< a) -> (UTU Co Co t u :.: u0) >< b

(<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> ((UTU Co Co t u :.: (u0 :.: v)) >< a) -> (UTU Co Co t u :.: (u0 :.: v)) >< b

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> ((UTU Co Co t u :.: (u0 :.: (v :.: w))) >< a) -> (UTU Co Co t u :.: (u0 :.: (v :.: w))) >< b

(<&&>) :: Covariant u0 => ((UTU Co Co t u :.: u0) >< a) -> (a -> b) -> (UTU Co Co t u :.: u0) >< b

(<&&&>) :: (Covariant u0, Covariant v) => ((UTU Co Co t u :.: (u0 :.: v)) >< a) -> (a -> b) -> (UTU Co Co t u :.: (u0 :.: v)) >< b

(<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => ((UTU Co Co t u :.: (u0 :.: (v :.: w))) >< a) -> (a -> b) -> (UTU Co Co t u :.: (u0 :.: (v :.: w))) >< b

(Applicative (t u), Applicative u) => Applicative (UTU Co Co t u)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

(<*>) :: UTU Co Co t u (a -> b) -> UTU Co Co t u a -> UTU Co Co t u b

apply :: UTU Co Co t u (a -> b) -> UTU Co Co t u a -> UTU Co Co t u b

(*>) :: UTU Co Co t u a -> UTU Co Co t u b -> UTU Co Co t u b

(<*) :: UTU Co Co t u a -> UTU Co Co t u b -> UTU Co Co t u a

forever :: UTU Co Co t u a -> UTU Co Co t u b

(<**>) :: Applicative u0 => ((UTU Co Co t u :.: u0) >< (a -> b)) -> ((UTU Co Co t u :.: u0) >< a) -> (UTU Co Co t u :.: u0) >< b

(<***>) :: (Applicative u0, Applicative v) => ((UTU Co Co t u :.: (u0 :.: v)) >< (a -> b)) -> ((UTU Co Co t u :.: (u0 :.: v)) >< a) -> (UTU Co Co t u :.: (u0 :.: v)) >< b

(<****>) :: (Applicative u0, Applicative v, Applicative w) => ((UTU Co Co t u :.: (u0 :.: (v :.: w))) >< (a -> b)) -> ((UTU Co Co t u :.: (u0 :.: (v :.: w))) >< a) -> (UTU Co Co t u :.: (u0 :.: (v :.: w))) >< b

(Covariant (t u), Alternative u) => Alternative (UTU Co Co t u)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

(<+>) :: UTU Co Co t u a -> UTU Co Co t u a -> UTU Co Co t u a

alter :: UTU Co Co t u a -> UTU Co Co t u a -> UTU Co Co t u a

(Covariant (t u), Avoidable u) => Avoidable (UTU Co Co t u)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

empty :: UTU Co Co t u a

(Distributive (t u), Distributive u) => Distributive (UTU Co Co t u)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

(>>-) :: Covariant t0 => t0 a -> (a -> UTU Co Co t u b) -> (UTU Co Co t u :.: t0) >< b

collect :: Covariant t0 => (a -> UTU Co Co t u b) -> t0 a -> (UTU Co Co t u :.: t0) >< b

distribute :: Covariant t0 => ((t0 :.: UTU Co Co t u) >< a) -> (UTU Co Co t u :.: t0) >< a

(>>>-) :: (Covariant t0, Covariant v) => ((t0 :.: v) >< a) -> (a -> UTU Co Co t u b) -> (UTU Co Co t u :.: (t0 :.: v)) >< b

(>>>>-) :: (Covariant t0, Covariant v, Covariant w) => ((t0 :.: (v :.: w)) >< a) -> (a -> UTU Co Co t u b) -> (UTU Co Co t u :.: (t0 :.: (v :.: w))) >< b

(>>>>>-) :: (Covariant t0, Covariant v, Covariant w, Covariant j) => ((t0 :.: (v :.: (w :.: j))) >< a) -> (a -> UTU Co Co t u b) -> (UTU Co Co t u :.: (t0 :.: (v :.: (w :.: j)))) >< b

(Extractable (t u), Extractable u) => Extractable (UTU Co Co t u)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

extract :: UTU Co Co t u a -> a

(Pointable (t u), Pointable u) => Pointable (UTU Co Co t u)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

point :: a -> UTU Co Co t u a

(Traversable (t u), Traversable u) => Traversable (UTU Co Co t u)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

(->>) :: (Pointable u0, Applicative u0) => UTU Co Co t u a -> (a -> u0 b) -> (u0 :.: UTU Co Co t u) >< b

traverse :: (Pointable u0, Applicative u0) => (a -> u0 b) -> UTU Co Co t u a -> (u0 :.: UTU Co Co t u) >< b

sequence :: (Pointable u0, Applicative u0) => (UTU Co Co t u :.: u0) a -> (u0 :.: UTU Co Co t u) >< a

(->>>) :: (Pointable u0, Applicative u0, Traversable v) => ((v :.: UTU Co Co t u) >< a) -> (a -> u0 b) -> (u0 :.: (v :.: UTU Co Co t u)) >< b

(->>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w) => ((w :.: (v :.: UTU Co Co t u)) >< a) -> (a -> u0 b) -> (u0 :.: (w :.: (v :.: UTU Co Co t u))) >< b

(->>>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w, Traversable j) => ((j :.: (w :.: (v :.: UTU Co Co t u))) >< a) -> (a -> u0 b) -> (u0 :.: (j :.: (w :.: (v :.: UTU Co Co t u)))) >< b

Composition (UTU ct cu t u)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Associated Types

type Primary (UTU ct cu t u) a :: Type

Methods

unwrap :: UTU ct cu t u a -> Primary (UTU ct cu t u) a

(forall (u' :: k2 -> Type). Semigroup ((u' :.: t u') >< a)) => Semigroup (UTU Co Co t u a)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

(+) :: UTU Co Co t u a -> UTU Co Co t u a -> UTU Co Co t u a

(forall (u' :: k2 -> Type). Monoid ((u' :.: t u') >< a)) => Monoid (UTU Co Co t u a)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

zero :: UTU Co Co t u a

(forall (u' :: k2 -> Type). Setoid ((u' :.: t u') >< a)) => Setoid (UTU Co Co t u a)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

(==) :: UTU Co Co t u a -> UTU Co Co t u a -> Boolean

(/=) :: UTU Co Co t u a -> UTU Co Co t u a -> Boolean

(forall (u' :: k2 -> Type). Chain ((u' :.: t u') >< a)) => Chain (UTU Co Co t u a)

Defined in Pandora.Pattern.Junction.Schemes.UTU

Methods

(<=>) :: UTU Co Co t u a -> UTU Co Co t u a -> Ordering

(<) :: UTU Co Co t u a -> UTU Co Co t u a -> Boolean

(<=) :: UTU Co Co t u a -> UTU Co Co t u a -> Boolean

(>) :: UTU Co Co t u a -> UTU Co Co t u a -> Boolean

(>=) :: UTU Co Co t u a -> UTU Co Co t u a -> Boolean

type Primary (UTU ct cu t u) a

Defined in Pandora.Pattern.Junction.Schemes.UTU

type Primary (UTU ct cu t u) a = (u :.: t u) >< a