Module
Data.HeytingAlgebra.Generic
- Package
- purescript-prelude
- Repository
- purescript/purescript-prelude
#GenericHeytingAlgebra Source
class GenericHeytingAlgebra a whereMembers
genericFF' :: agenericTT' :: agenericImplies' :: a -> a -> agenericConj' :: a -> a -> agenericDisj' :: a -> a -> agenericNot' :: a -> a
Instances
GenericHeytingAlgebra NoArguments(HeytingAlgebra a) => GenericHeytingAlgebra (Argument a)(GenericHeytingAlgebra a, GenericHeytingAlgebra b) => GenericHeytingAlgebra (Product a b)(GenericHeytingAlgebra a) => GenericHeytingAlgebra (Constructor name a)
#genericFF Source
genericFF :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => aA Generic implementation of the ff member from the HeytingAlgebra type class.
#genericTT Source
genericTT :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => aA Generic implementation of the tt member from the HeytingAlgebra type class.
#genericImplies Source
genericImplies :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => a -> a -> aA Generic implementation of the implies member from the HeytingAlgebra type class.
#genericConj Source
genericConj :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => a -> a -> aA Generic implementation of the conj member from the HeytingAlgebra type class.
#genericDisj Source
genericDisj :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => a -> a -> aA Generic implementation of the disj member from the HeytingAlgebra type class.
#genericNot Source
genericNot :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => a -> aA Generic implementation of the not member from the HeytingAlgebra type class.
- Modules
- Control.
Applicative - Control.
Apply - Control.
Bind - Control.
Category - Control.
Monad - Control.
Semigroupoid - Data.
Boolean - Data.
BooleanAlgebra - Data.
Bounded - Data.
Bounded. Generic - Data.
CommutativeRing - Data.
DivisionRing - Data.
Eq - Data.
Eq. Generic - Data.
EuclideanRing - Data.
Field - Data.
Function - Data.
Functor - Data.
Generic. Rep - Data.
HeytingAlgebra - Data.
HeytingAlgebra. Generic - Data.
Monoid - Data.
Monoid. Additive - Data.
Monoid. Conj - Data.
Monoid. Disj - Data.
Monoid. Dual - Data.
Monoid. Endo - Data.
Monoid. Generic - Data.
Monoid. Multiplicative - Data.
NaturalTransformation - Data.
Ord - Data.
Ord. Generic - Data.
Ordering - Data.
Reflectable - Data.
Ring - Data.
Ring. Generic - Data.
Semigroup - Data.
Semigroup. First - Data.
Semigroup. Generic - Data.
Semigroup. Last - Data.
Semiring - Data.
Semiring. Generic - Data.
Show - Data.
Show. Generic - Data.
Symbol - Data.
Unit - Data.
Void - Prelude
- Record.
Unsafe - Type.
Proxy