Data.HeytingAlgebra.Generic

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

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

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

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

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

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

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

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

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

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

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

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