Search results
bottom :: forall a. Bounded a => a
P
purescript-prelude
M
Data.Bounded
ff :: forall a. HeytingAlgebra a => a
P
purescript-prelude
M
Data.HeytingAlgebra
genericBottom :: forall a rep. Generic a rep => GenericBottom rep => a
A Generic
implementation of the bottom
member from the Bounded
type class.
P
purescript-prelude
M
Data.Bounded.Generic
genericBottom' :: forall a. GenericBottom a => a
P
purescript-prelude
M
Data.Bounded.Generic
genericFF :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => a
A Generic
implementation of the ff
member from the HeytingAlgebra
type class.
P
purescript-prelude
M
Data.HeytingAlgebra.Generic
genericFF' :: forall a. GenericHeytingAlgebra a => a
P
purescript-prelude
M
Data.HeytingAlgebra.Generic
genericMempty :: forall a rep. Generic a rep => GenericMonoid rep => a
A Generic
implementation of the mempty
member from the Monoid
type class.
P
purescript-prelude
M
Data.Monoid.Generic
genericMempty' :: forall a. GenericMonoid a => a
P
purescript-prelude
M
Data.Monoid.Generic
genericOne :: forall a rep. Generic a rep => GenericSemiring rep => a
A Generic
implementation of the one
member from the Semiring
type class.
P
purescript-prelude
M
Data.Semiring.Generic
genericOne' :: forall a. GenericSemiring a => a
P
purescript-prelude
M
Data.Semiring.Generic
genericTop :: forall a rep. Generic a rep => GenericTop rep => a
A Generic
implementation of the top
member from the Bounded
type class.
P
purescript-prelude
M
Data.Bounded.Generic
genericTop' :: forall a. GenericTop a => a
P
purescript-prelude
M
Data.Bounded.Generic
genericTT :: forall a rep. Generic a rep => GenericHeytingAlgebra rep => a
A Generic
implementation of the tt
member from the HeytingAlgebra
type class.
P
purescript-prelude
M
Data.HeytingAlgebra.Generic
genericTT' :: forall a. GenericHeytingAlgebra a => a
P
purescript-prelude
M
Data.HeytingAlgebra.Generic
genericZero :: forall a rep. Generic a rep => GenericSemiring rep => a
A Generic
implementation of the zero
member from the Semiring
type class.
P
purescript-prelude
M
Data.Semiring.Generic
genericZero' :: forall a. GenericSemiring a => a
P
purescript-prelude
M
Data.Semiring.Generic
mempty :: forall m. Monoid m => m
P
purescript-prelude
M
Data.Monoid
one :: forall a. Semiring a => a
P
purescript-prelude
M
Data.Semiring
top :: forall a. Bounded a => a
P
purescript-prelude
M
Data.Bounded
tt :: forall a. HeytingAlgebra a => a
P
purescript-prelude
M
Data.HeytingAlgebra
zero :: forall a. Semiring a => a
P
purescript-prelude
M
Data.Semiring
crash :: forall a. Partial => a
A partial function which crashes on any input with a default message.
P
purescript-partial
M
Partial
undefined :: forall a. a
P
purescript-typelevel
M
Data.Typelevel.Undefined
all :: forall a. All a => a
P
purescript-css
M
CSS.Common
auto :: forall a. Auto a => a
P
purescript-css
M
CSS.Common
baseline :: forall a. Baseline a => a
P
purescript-css
M
CSS.Common
bottom :: forall a. Bottom a => a
P
purescript-css
M
CSS.Common
center :: forall a. Center a => a
P
purescript-css
M
CSS.Common
flexEnd :: forall a. FlexEnd a => a
P
purescript-css
M
CSS.Flexbox
flexStart :: forall a. FlexStart a => a
P
purescript-css
M
CSS.Flexbox
hidden :: forall a. Hidden a => a
P
purescript-css
M
CSS.Common
inherit :: forall a. Inherit a => a
P
purescript-css
M
CSS.Common
initial :: forall a. Initial a => a
P
purescript-css
M
CSS.Common
middle :: forall a. Middle a => a
P
purescript-css
M
CSS.Common
none :: forall a. None a => a
P
purescript-css
M
CSS.Common
normal :: forall a. Normal a => a
P
purescript-css
M
CSS.Common
spaceAround :: forall a. SpaceAround a => a
P
purescript-css
M
CSS.Flexbox
spaceBetween :: forall a. SpaceBetween a => a
P
purescript-css
M
CSS.Flexbox
stretch :: forall a. Stretch a => a
P
purescript-css
M
CSS.Flexbox
top :: forall a. Top a => a
P
purescript-css
M
CSS.Common
unset :: forall a. Unset a => a
P
purescript-css
M
CSS.Common
visible :: forall a. Visible a => a
P
purescript-css
M
CSS.Common
undefined :: forall anything. anything
P
purescript-undefined
M
Undefined
mzeroL :: forall x r. LeftModule x r => x
P
purescript-modules
M
Data.Ring.Module
mzeroR :: forall x r. RightModule x r => x
P
purescript-modules
M
Data.Ring.Module
zero :: forall a. Zero a => a
P
purescript-read
M
Data.String.Read
def :: forall a. Default a => a
P
purescript-data-default
M
Data.Default
idm :: forall m. Monoid m => m
Trivial option modifier.
P
purescript-optparse
M
Options.Applicative.Builder
animationEvent :: forall a. a
P
purescript-dom-simple
M
DOM.Simple.Event
bottom :: forall a. BoundedJoinSemilattice a => a
P
purescript-lattice
M
Data.Lattice