Pandora.Paradigm.Primary.Functor.Predicate
newtype Predicate a Source #
Constructors
Defined in Pandora.Paradigm.Primary.Functor.Predicate
Methods
unit :: Proxy (:*:) -> (Unit (:*:) <-- a) --> Predicate a Source #
mult :: forall (a :: k) (b :: k). (Predicate a :*: Predicate b) --> Predicate (a :+: b) Source #
mult :: forall (a :: k) (b :: k). (Predicate a :*: Predicate b) --> Predicate (a :*: b) Source #
Associated Types
type Primary Predicate a Source #
run :: Predicate a -> Primary Predicate a Source #
unite :: Primary Predicate a -> Predicate a Source #
(!) :: Predicate a -> Primary Predicate a Source #
(||=) :: (Semigroupoid (->), Interpreted (->) u) => (Primary Predicate a -> Primary u b) -> Predicate a -> u b Source #
(=||) :: (Semigroupoid (->), Interpreted (->) u) => (Predicate a -> u b) -> Primary Predicate a -> Primary u b Source #
(<$||=) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u) => (Primary Predicate a -> Primary u b) -> (j := Predicate a) -> (j := u b) Source #
(=||$>) :: (Covariant (->) (->) j, Interpreted (->) u) => (Predicate a -> u b) -> (j := Primary Predicate a) -> (j := Primary u b) Source #
(>-|-) :: (a -> b) -> Predicate b -> Predicate a Source #
equate :: Setoid a => a :=> Predicate Source #
not :: Predicate ~> Predicate Source #