htaut-0.1.1.0: Tautology Proving Logic in Haskell

Safe Haskell	Safe
Language	Haskell2010

Htaut.Proposition

Documentation

data Top Source #

Constructors

Instances

Prop Top Source #
Methods bottomImply :: Bottom -> Top Source #

data Bottom Source #

Instances

Prop Bottom Source #
Methods bottomImply :: Bottom -> Bottom Source #

type Neg a = a -> Bottom Source #

data And a b Source #

Constructors

Instances

(Prop a, Prop b) => Prop (And a b) Source #
Methods bottomImply :: Bottom -> And a b Source #

type Or a b = Either a b Source #

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

class Prop a where Source #

Minimal complete definition

Methods

bottomImply :: Bottom -> a Source #

Instances

Prop Bottom Source #
Methods bottomImply :: Bottom -> Bottom Source #
Prop Top Source #
Methods bottomImply :: Bottom -> Top Source #
(Prop a, Prop b) => Prop (a -> b) Source #
Methods bottomImply :: Bottom -> a -> b Source #
(Prop a, Prop b) => Prop (Or a b) Source #
Methods bottomImply :: Bottom -> Or a b Source #
(Prop a, Prop b) => Prop (And a b) Source #
Methods bottomImply :: Bottom -> And a b Source #