Module

Data.Generic.Rep.HeytingAlgebra

Package
generics-rep
Repository
purescript/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.