Pandora.Paradigm.Primary.Functor.Predicate

Documentation

newtype Predicate a

Constructors

Predicate (a -> Boolean)

Instances

Monoidal (-->) (<--) (:*:) (:*:) Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

unit :: Proxy (:*:) -> (Unit (:*:) <-- a) --> Predicate a

Semimonoidal (-->) (:*:) (:+:) Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

mult :: forall (a :: k) (b :: k). (Predicate a :*: Predicate b) --> Predicate (a :+: b)

Semimonoidal (-->) (:*:) (:*:) Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

mult :: forall (a :: k) (b :: k). (Predicate a :*: Predicate b) --> Predicate (a :*: b)

Interpreted ((->) :: Type -> Type -> Type) Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Associated Types

type Primary Predicate a

Methods

run :: ((->) < Predicate a) < Primary Predicate a

unite :: ((->) < Primary Predicate a) < Predicate a

(<~~~~~~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~~~~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~~~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~~) :: ((->) < Predicate a) < Primary Predicate a

(<~~) :: ((->) < Predicate a) < Primary Predicate a

(<~) :: ((->) < Predicate a) < Primary Predicate a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary Predicate a) < Primary u b) -> ((->) < Predicate a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Predicate a) < u b) -> ((->) < Primary Predicate a) < Primary u b

(<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (((->) < Primary Predicate a) < Primary u b) -> (j > Predicate a) -> (j > u b)

(-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (((->) < Predicate a) < u b) -> (j > Primary Predicate a) -> (j > Primary u b)

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Predicate

Defined in Pandora.Paradigm.Primary.Functor.Predicate

Methods

(>-|-) :: (a -> b) -> Predicate b -> Predicate a

(>-|--) :: (a -> b) -> Predicate b -> Predicate a

(>-|---) :: (a -> b) -> Predicate b -> Predicate a

(>-|----) :: (a -> b) -> Predicate b -> Predicate a

(>-|-----) :: (a -> b) -> Predicate b -> Predicate a

(>-|------) :: (a -> b) -> Predicate b -> Predicate a

(>-|-------) :: (a -> b) -> Predicate b -> Predicate a

(>-|--------) :: (a -> b) -> Predicate b -> Predicate a

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) Predicate) => (a -> b) -> Predicate (u a) -> Predicate (u b)

type Primary Predicate a

Defined in Pandora.Paradigm.Primary.Functor.Predicate

type Primary Predicate a = a -> Boolean

equate :: Setoid a => a :=> Predicate

not :: Predicate ~> Predicate