Module
Data.Generic.Rep.HeytingAlgebra
- Package
- purescript-generics-repDEPRECATED
- Repository
- purescript/purescript-generics-rep
#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 rep a. Generic a rep => GenericHeytingAlgebra rep => aA Generic implementation of the ff member from the HeytingAlgebra type class.
#genericTT Source
genericTT :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => aA Generic implementation of the tt member from the HeytingAlgebra type class.
#genericImplies Source
genericImplies :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a -> a -> aA Generic implementation of the implies member from the HeytingAlgebra type class.
#genericConj Source
genericConj :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a -> a -> aA Generic implementation of the conj member from the HeytingAlgebra type class.
#genericDisj Source
genericDisj :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a -> a -> aA Generic implementation of the disj member from the HeytingAlgebra type class.
#genericNot Source
genericNot :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a -> aA Generic implementation of the not member from the HeytingAlgebra type class.