Data.Generic.Rep.HeytingAlgebra

class GenericHeytingAlgebra a  where

Members

• genericFF' :: a
• genericTT' :: a
• genericImplies' :: a -> a -> a
• genericConj' :: a -> a -> a
• genericDisj' :: a -> a -> a
• genericNot' :: 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 :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a

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

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

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

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 :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a -> a -> a

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

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 :: forall rep a. Generic a rep => GenericHeytingAlgebra rep => a -> a

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