Search results

identity :: forall a t. Category a => a t t

identity :: forall c a. HasIdentity c => ObjectOf c a => c a a

introduce :: forall v s c. HasIntroduce c s => ObjectOf c v => c s v

reflect :: forall v p c. Reflexive c p => ObjectOf c v => p v v

terminate :: forall v u c. HasTerminate c u => ObjectOf c v => c v u

idiot :: forall a t. Category a => a t t

I combinator - identity bird

SKK

Λ a . a → a

λ x . x

negate :: forall k s. RingCat k s => k s s

poly :: forall p a b. Profunctor p => Unital Function Unit Void Unit p => p a b

poly :: forall b a p. Unital Function Unit Void Unit p => p a b

ppure :: forall p a. Profunctor p => Unital Function Unit Unit Unit p => Strong p => p a a

ppure :: forall a p. Unital Function Unit Unit Unit p => Strong p => p a a

recip :: forall k s. DivisionRingCat k s => k s s

terminal :: forall t i p a. Cartesian t i p => p a i

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

empty :: forall f a. Plus f => f a

crash :: forall a. Partial => a

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

none :: forall f a. Unfoldable f => f a

The container with no elements - unfolded with zero iterations. For example:

none == ([] :: Array Unit)

genBoundedEnum :: forall m a. MonadGen m => BoundedEnum a => m a

Create a random generator for a finite enumeration.

conquer :: forall f a. Divisible f => f a

ask :: forall r m. MonadAsk r m => m r

get :: forall m s. MonadState s m => m s

Get the current state.

never :: forall e f m a. MonadBracket e f m => m a

nil :: forall f a. Alignable f => f a

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

visible :: forall a. Visible a => a

undefined :: forall anything. anything

animate_ :: forall html a. Html html => html a

Defines an animation on an SVG element [No Attributes]

animate_ :: forall html a. Html html => html a

Defines an animation on an SVG element [No Attributes]

animateColor_ :: forall html a. Html html => html a

Defines an animated color change for an SVG element [No Attributes]

animateColor_ :: forall html a. Html html => html a

Defines an animated color change for an SVG element [No Attributes]

animateMotion_ :: forall html a. Html html => html a

Defines an animated motion path for an SVG element [No Attributes]

animateMotion_ :: forall html a. Html html => html a

Defines an animated motion path for an SVG element [No Attributes]

animateTransform_ :: forall html a. Html html => html a

Defines an animated transformation on an SVG element [No Attributes]

animateTransform_ :: forall html a. Html html => html a

Defines an animated transformation on an SVG element [No Attributes]

area_ :: forall html a. Html html => html a

Defines an area inside an image map [No Attributes]

area_ :: forall html a. Html html => html a

Defines an area inside an image map [No Attributes]

base_ :: forall html a. Html html => html a

Defines the base URL for all relative URLs in a document [No Attributes]

base_ :: forall html a. Html html => html a

Defines the base URL for all relative URLs in a document [No Attributes]

br_ :: forall html a. Html html => html a

Defines a single line break [No Attributes]

br_ :: forall html a. Html html => html a

Defines a single line break [No Attributes]

circle_ :: forall html a. Html html => html a

Creates a circle element [No Attributes]

circle_ :: forall html a. Html html => html a

Creates a circle element [No Attributes]

col_ :: forall html a. Html html => html a

Defines attributes for table columns [No Attributes]

col_ :: forall html a. Html html => html a

Defines attributes for table columns [No Attributes]

cursor_ :: forall html a. Html html => html a

Defines a cursor for an SVG element [No Attributes]

cursor_ :: forall html a. Html html => html a

Defines a cursor for an SVG element [No Attributes]

ellipse_ :: forall html a. Html html => html a

Creates an ellipse element [No Attributes]

ellipse_ :: forall html a. Html html => html a

Creates an ellipse element [No Attributes]

embed_ :: forall html a. Html html => html a

Defines a container for an external application or interactive content [No Attributes]

embed_ :: forall html a. Html html => html a

Defines a container for an external application or interactive content [No Attributes]

feBlend_ :: forall html a. Html html => html a

Defines a blend mode for two input images in a filter [No Attributes]

feBlend_ :: forall html a. Html html => html a

Defines a blend mode for two input images in a filter [No Attributes]

feColorMatrix_ :: forall html a. Html html => html a

Applies a color transformation to an input image [No Attributes]

feColorMatrix_ :: forall html a. Html html => html a

Applies a color transformation to an input image [No Attributes]

feComponentTransfer_ :: forall html a. Html html => html a

Allows for component-wise remapping of input image components [No Attributes]

feComponentTransfer_ :: forall html a. Html html => html a

Allows for component-wise remapping of input image components [No Attributes]

feComposite_ :: forall html a. Html html => html a

Combines two input images using a composition operation [No Attributes]

feComposite_ :: forall html a. Html html => html a

Combines two input images using a composition operation [No Attributes]

feConvolveMatrix_ :: forall html a. Html html => html a

Applies a matrix convolution filter effect to an input image [No Attributes]

feConvolveMatrix_ :: forall html a. Html html => html a

Applies a matrix convolution filter effect to an input image [No Attributes]

feDiffuseLighting_ :: forall html a. Html html => html a

Creates a lighting effect using the alpha channel as a bump map [No Attributes]

feDiffuseLighting_ :: forall html a. Html html => html a

Creates a lighting effect using the alpha channel as a bump map [No Attributes]