Htaut.Proposition

Documentation

data Top

Constructors

Top

Instances

Prop Top

Methods

bottomImply :: Bottom -> Top

data Bottom

Instances

Prop Bottom

Methods

bottomImply :: Bottom -> Bottom

type Neg a = a -> Bottom

data And a b

Constructors

a `And` b

Instances

(Prop a, Prop b) => Prop (And a b)

Methods

bottomImply :: Bottom -> And a b

type Or a b = Either a b

type (<->) a b = (a -> b) `And` (b -> a)

class Prop a where

Minimal complete definition

bottomImply

Methods

bottomImply :: Bottom -> a

Instances

Prop Bottom

Methods

bottomImply :: Bottom -> Bottom

Prop Top

Methods

bottomImply :: Bottom -> Top

(Prop a, Prop b) => Prop (a -> b)

Methods

bottomImply :: Bottom -> a -> b

(Prop a, Prop b) => Prop (Or a b)

Methods

bottomImply :: Bottom -> Or a b

(Prop a, Prop b) => Prop (And a b)

Methods

bottomImply :: Bottom -> And a b