Search results

bottom :: forall a. Bounded a => a

ff :: forall a. HeytingAlgebra a => a

genericBottom :: forall a rep. Generic a rep => GenericBottom rep => a

A Generic implementation of the bottom member from the Bounded type class.

genericBottom' :: forall a. GenericBottom a => a

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

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

genericFF' :: forall a. GenericHeytingAlgebra a => a

genericMempty :: forall a rep. Generic a rep => GenericMonoid rep => a

A Generic implementation of the mempty member from the Monoid type class.

genericMempty' :: forall a. GenericMonoid a => a

genericOne :: forall a rep. Generic a rep => GenericSemiring rep => a

A Generic implementation of the one member from the Semiring type class.

genericOne' :: forall a. GenericSemiring a => a

genericTop :: forall a rep. Generic a rep => GenericTop rep => a

A Generic implementation of the top member from the Bounded type class.

genericTop' :: forall a. GenericTop a => a

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

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

genericTT' :: forall a. GenericHeytingAlgebra a => a

genericZero :: forall a rep. Generic a rep => GenericSemiring rep => a

A Generic implementation of the zero member from the Semiring type class.

genericZero' :: forall a. GenericSemiring a => a

mempty :: forall m. Monoid m => m

one :: forall a. Semiring a => a

top :: forall a. Bounded a => a

tt :: forall a. HeytingAlgebra a => a

zero :: forall a. Semiring a => a

crash :: forall a. Partial => a

A partial function which crashes on any input with a default message.

undefined :: forall a. a

all :: forall a. All a => a

auto :: forall a. Auto a => a

baseline :: forall a. Baseline a => a

bottom :: forall a. Bottom a => a

center :: forall a. Center a => a

flexEnd :: forall a. FlexEnd a => a

flexStart :: forall a. FlexStart a => a

hidden :: forall a. Hidden a => a

inherit :: forall a. Inherit a => a

initial :: forall a. Initial a => a

middle :: forall a. Middle a => a

none :: forall a. None a => a

normal :: forall a. Normal a => a

spaceAround :: forall a. SpaceAround a => a

spaceBetween :: forall a. SpaceBetween a => a

stretch :: forall a. Stretch a => a

top :: forall a. Top a => a

unset :: forall a. Unset a => a