Module

# Data.Generic.Rep.HeytingAlgebra

- Package
- purescript-generics-rep
- Repository
- purescript/purescript-generics-rep

### #GenericHeytingAlgebra Source

`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 Source

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

A `Generic`

implementation of the `ff`

member from the `HeytingAlgebra`

type class.

### #genericTT Source

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

A `Generic`

implementation of the `tt`

member from the `HeytingAlgebra`

type class.

### #genericImplies Source

`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 Source

`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 Source

`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 Source

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

A `Generic`

implementation of the `not`

member from the `HeytingAlgebra`

type class.