heyting-algebras-0.0.2.0: Heyting and Boolean algebras

Safe HaskellNone
LanguageHaskell2010

Algebra.Boolean.Free

Synopsis

Documentation

newtype FreeBoolean a Source #

Free Boolean algebra. FreeAlgebra instance provides all the usual combinators for a free algebra.

Constructors

FreeBoolean 

Fields

Instances
Monad FreeBoolean Source # 
Instance details

Defined in Algebra.Boolean.Free

Functor FreeBoolean Source # 
Instance details

Defined in Algebra.Boolean.Free

Methods

fmap :: (a -> b) -> FreeBoolean a -> FreeBoolean b #

(<$) :: a -> FreeBoolean b -> FreeBoolean a #

Applicative FreeBoolean Source # 
Instance details

Defined in Algebra.Boolean.Free

Methods

pure :: a -> FreeBoolean a #

(<*>) :: FreeBoolean (a -> b) -> FreeBoolean a -> FreeBoolean b #

liftA2 :: (a -> b -> c) -> FreeBoolean a -> FreeBoolean b -> FreeBoolean c #

(*>) :: FreeBoolean a -> FreeBoolean b -> FreeBoolean b #

(<*) :: FreeBoolean a -> FreeBoolean b -> FreeBoolean a #

FreeAlgebra FreeBoolean Source # 
Instance details

Defined in Algebra.Boolean.Free

JoinSemiLattice (FreeBoolean a) Source # 
Instance details

Defined in Algebra.Boolean.Free

MeetSemiLattice (FreeBoolean a) Source # 
Instance details

Defined in Algebra.Boolean.Free

Lattice (FreeBoolean a) Source # 
Instance details

Defined in Algebra.Boolean.Free

BoundedJoinSemiLattice (FreeBoolean a) Source # 
Instance details

Defined in Algebra.Boolean.Free

Methods

bottom :: FreeBoolean a #

BoundedMeetSemiLattice (FreeBoolean a) Source # 
Instance details

Defined in Algebra.Boolean.Free

Methods

top :: FreeBoolean a #

BoundedLattice (FreeBoolean a) Source # 
Instance details

Defined in Algebra.Boolean.Free

BooleanAlgebra (FreeBoolean a) Source # 
Instance details

Defined in Algebra.Boolean.Free

HeytingAlgebra (FreeBoolean a) Source # 
Instance details

Defined in Algebra.Boolean.Free

type AlgebraType FreeBoolean (a :: Type) Source # 
Instance details

Defined in Algebra.Boolean.Free

type AlgebraType0 FreeBoolean (a :: Type) Source # 
Instance details

Defined in Algebra.Boolean.Free

type AlgebraType0 FreeBoolean (a :: Type) = ()