Module

Data.Generic.Rep.HeytingAlgebra

Package
purescript-generics-repDEPRECATED
Repository
purescript-deprecated/purescript-generics-rep

#genericFF Source

genericFF :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a

A Generic implementation of the ff member from the HeytingAlgebra type class.

#genericTT Source

genericTT :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a

A Generic implementation of the tt member from the HeytingAlgebra type class.

#genericImplies Source

genericImplies :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a -> a -> a

A Generic implementation of the implies member from the HeytingAlgebra type class.

#genericConj Source

genericConj :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a -> a -> a

A Generic implementation of the conj member from the HeytingAlgebra type class.

#genericDisj Source

genericDisj :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a -> a -> a

A Generic implementation of the disj member from the HeytingAlgebra type class.

#genericNot Source

genericNot :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a -> a

A Generic implementation of the not member from the HeytingAlgebra type class.