Search results

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

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

mread :: forall s m. ReferM s m => m s

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]

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

Displaces the pixels in an input image according to a displacement map image [No Attributes]

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

Displaces the pixels in an input image according to a displacement map image [No Attributes]

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

Defines a distant light source for use in a lighting filter effect [No Attributes]

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

Defines a distant light source for use in a lighting filter effect [No Attributes]

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

Fills the filter subregion with a solid color [No Attributes]

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

Fills the filter subregion with a solid color [No Attributes]

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

Defines the alpha transfer function for a component in a filter [No Attributes]

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

Defines the alpha transfer function for a component in a filter [No Attributes]

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

Defines the transfer function for a component [No Attributes]

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

Defines the transfer function for a component [No Attributes]

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

Defines the transfer function for a component [No Attributes]

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

Defines the transfer function for a component [No Attributes]

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

Defines the transfer function for a component [No Attributes]

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

Defines the transfer function for a component [No Attributes]

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

Applies a Gaussian blur to an input image [No Attributes]

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

Applies a Gaussian blur to an input image [No Attributes]

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

Inserts an external image into an SVG element [No Attributes]

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

Inserts an external image into an SVG element [No Attributes]

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

Specifies an input image for use with a feMerge filter [No Attributes]

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

Specifies an input image for use with a feMerge filter [No Attributes]

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

Expands or contracts the shape of an input image [No Attributes]

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

Expands or contracts the shape of an input image [No Attributes]

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

Offsets the position of an input image [No Attributes]

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

Offsets the position of an input image [No Attributes]

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

Defines a point light source for use in a lighting filter effect [No Attributes]

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

Defines a point light source for use in a lighting filter effect [No Attributes]

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

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

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

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

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

Defines a spotlight source for use in a lighting filter effect [No Attributes]

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

Defines a spotlight source for use in a lighting filter effect [No Attributes]

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

Repeats an input image to fill a filter subregion [No Attributes]

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

Repeats an input image to fill a filter subregion [No Attributes]

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

Generates a Perlin noise or turbulence pattern [No Attributes]

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

Generates a Perlin noise or turbulence pattern [No Attributes]

field :: forall @sym repr datumRow a r. IsSymbol sym => Cons sym a r datumRow => DatumExpr repr datumRow => repr a

Access a field from the datum

Define field accessors for your data type:

type MyDataRow = (x :: Number, y :: Number, name :: String)

_x :: forall repr. DatumExpr repr MyDataRow => repr Number
_x = field @"x"

_y :: forall repr. DatumExpr repr MyDataRow => repr Number
_y = field @"y"

_name :: forall repr. DatumExpr repr MyDataRow => repr String
_name = field @"name"

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

References a glyph in a font [No Attributes]

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

References a glyph in a font [No Attributes]

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

Defines the path of a hatching pattern [No Attributes]

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

Defines the path of a hatching pattern [No Attributes]

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

Defines a horizontal rule (line) [No Attributes]

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

Defines a horizontal rule (line) [No Attributes]

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

Inserts an external raster image into an SVG document [No Attributes]

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

Inserts an external raster image into an SVG document [No Attributes]

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

Defines an image [No Attributes]

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

Defines an image [No Attributes]

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

Defines an input control [No Attributes]

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

Defines an input control [No Attributes]

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

Creates a line element [No Attributes]

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

Creates a line element [No Attributes]

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

Defines the relationship between a document and an external resource [No Attributes]

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

Defines the relationship between a document and an external resource [No Attributes]

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

Defines metadata about an HTML document [No Attributes]

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

Defines metadata about an HTML document [No Attributes]

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

The metadata element provides a container for storing non-visual data. [No Attributes]

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

The metadata element provides a container for storing non-visual data. [No Attributes]

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

The missing-glyph element provides a fallback for glyphs that are not available in a font. [No Attributes]

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

The missing-glyph element provides a fallback for glyphs that are not available in a font. [No Attributes]

noHtml :: forall html msg. Html html => html msg

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

Defines a parameter for an object [No Attributes]

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

Defines a parameter for an object [No Attributes]

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

The path element defines a path to be drawn. [No Attributes]

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

The path element defines a path to be drawn. [No Attributes]

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

The polygon element defines a closed shape consisting of a series of connected straight line segments. [No Attributes]

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

The polygon element defines a closed shape consisting of a series of connected straight line segments. [No Attributes]

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

The polyline element defines an open shape consisting of a series of connected straight line segments. [No Attributes]

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

The polyline element defines an open shape consisting of a series of connected straight line segments. [No Attributes]

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

The rect element defines a rectangle to be drawn. [No Attributes]

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

The rect element defines a rectangle to be drawn. [No Attributes]

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

Defines a client-side script [No Attributes]

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

Defines a client-side script [No Attributes]

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

The set element provides a way to animate an attribute to a given value. [No Attributes]

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

The set element provides a way to animate an attribute to a given value. [No Attributes]

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

Defines multiple media resources for media elements (<video> and <audio>) [No Attributes]

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

Defines multiple media resources for media elements (<video> and <audio>) [No Attributes]

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

The stop element defines a color or gradient stop in a gradient. [No Attributes]

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

The stop element defines a color or gradient stop in a gradient. [No Attributes]

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

Defines text tracks for media elements (<video> and <audio>) [No Attributes]

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

Defines text tracks for media elements (<video> and <audio>) [No Attributes]

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

The tref element provides a way to reference a portion of text in another element. [No Attributes]

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

The tref element provides a way to reference a portion of text in another element. [No Attributes]

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

Defines vertical kerning for a pair of glyphs in a font. [No Attributes]

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

Defines vertical kerning for a pair of glyphs in a font. [No Attributes]

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

Defines a possible line-break [No Attributes]

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

Defines a possible line-break [No Attributes]

bProxy :: forall f b. BProxying f b => f b

oProxy :: forall f o. OProxying f o => f o

rlProxy :: forall f l. RLProxying f l => f l

rProxy :: forall f r. RProxying f r => f r

sProxy :: forall f s. SProxying f s => f s

t2Proxy :: forall f a. T2Proxying f a => f a

t3Proxy :: forall f a. T3Proxying f a => f a

tProxy :: forall f a. TProxying f a => f a

bottom1 :: forall f a. Bottom1 f => f a

top1 :: forall f a. Top1 f => f a

decodeJsonStreamT :: forall m a s c. MonadState (Tuple (Tuple ParseState s) (Either c a)) m => Source s String Char m => MonadThrow (DecodeException c a) m => MonadNuhUh m => DecodeJsonStream c a m => m a

dempty :: forall cnt a. Diff cnt => cnt a

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

endJsonStreamDecodeT :: forall s a c m. MonadState (Tuple (Tuple ParseState s) (Either c a)) m => MonadThrow (DecodeException c a) m => EndJsonDecode c a m => m a

getStore :: forall a s m. MonadStore a s m => m s

initialSource :: forall s d c m. Source s d c m => m s

nope :: forall m a. MonadNuhUh m => m a

startPosition :: forall m p. StartPosition m p => m p

viewChevronRight :: forall html msg. Html html => html msg

viewDash :: forall html msg. Html html => html msg

viewDiamond :: forall html msg. Html html => html msg

viewDiamondFilled :: forall html msg. Html html => html msg

viewDotMenu :: forall html msg. Html html => html msg

viewDotMenuSolid :: forall html msg. Html html => html msg

viewExpandDown :: forall html msg. Html html => html msg

viewExpandUp :: forall html msg. Html html => html msg

viewHome :: forall html msg. Html html => html msg

viewLabel :: forall html msg. Html html => html msg

viewLevelUp :: forall html msg. Html html => html msg

viewLogo :: forall html msg. Html html => html msg

viewPageNotFound :: forall html msg. Html html => html msg

viewSwitch :: forall html msg. Html html => html msg

zero :: forall f a. Additive f => Semiring a => f a

The zero vector

Proxy :: forall a. Proxy a

Nothing :: forall a. Maybe a

emptySet :: forall k. Set k

Nil :: forall a. Step a

nil :: forall a. List a

The empty list.

Running time: O(1)

Nil :: forall a. List a

chooseBool :: forall m. MonadGen m => m Boolean

Chooses a random boolean value.

cardinality :: forall a. BoundedEnum a => Cardinality a

defaultCardinality :: forall a. Bounded a => Enum a => Cardinality a

Provides a default implementation for cardinality.

Runs in O(n) where n is fromEnum top

genericCardinality :: forall a rep. Generic a rep => GenericBoundedEnum rep => Cardinality a

A Generic implementation of the cardinality member from the BoundedEnum type class.

genericCardinality' :: forall a. GenericBoundedEnum a => Cardinality a

defaultComparison :: forall a. Ord a => Comparison a

The default comparison for any values with an Ord instance.

defaultEquivalence :: forall a. Eq a => Equivalence a

The default equivalence relation for any values with an Eq instance.

lost :: forall f. Decidable f => f Void

genAlpha :: forall m. MonadGen m => m Char

Generates a character from the basic latin alphabet.

genAlphaLowercase :: forall m. MonadGen m => m Char

Generates a lowercase character from the basic latin alphabet.

genAlphaLowercaseString :: forall m. MonadRec m => MonadGen m => m String

Generates a string using lowercase characters from the basic Latin alphabet.

genAlphaString :: forall m. MonadRec m => MonadGen m => m String

Generates a string using characters from the basic Latin alphabet.

genAlphaUppercase :: forall m. MonadGen m => m Char

Generates an uppercase character from the basic latin alphabet.

genAlphaUppercaseString :: forall m. MonadRec m => MonadGen m => m String

Generates a string using uppercase characters from the basic Latin alphabet.

genAsciiChar :: forall m. MonadGen m => m Char

Generates a character in the ASCII character set, excluding control codes.

genAsciiChar' :: forall m. MonadGen m => m Char

Generates a character in the ASCII character set.

genAsciiString :: forall m. MonadRec m => MonadGen m => m String

Generates a string using the ASCII character set, excluding control codes.

genAsciiString' :: forall m. MonadRec m => MonadGen m => m String

Generates a string using the ASCII character set.

genDigitChar :: forall m. MonadGen m => m Char

Generates a character that is a numeric digit.

genDigitString :: forall m. MonadRec m => MonadGen m => m String

Generates a string made up of numeric digits.

genUnicodeChar :: forall m. MonadGen m => m Char

Generates a character of the Unicode basic multilingual plane.

genUnicodeString :: forall m. MonadRec m => MonadGen m => m String

Generates a string using characters from the Unicode basic multilingual plain.

clear :: forall m. MonadEffect m => m Unit

groupEnd :: forall m. MonadEffect m => m Unit

genDate :: forall m. MonadGen m => m Date

Generates a random Date between 1st Jan 1900 and 31st Dec 2100, inclusive.

genDateTime :: forall m. MonadGen m => m DateTime

Generates a random DateTime between 1st Jan 1900 00:00:00 and 31st Dec 2100 23:59:59, inclusive.

genDay :: forall m. MonadGen m => m Day

Generates a random Day component.

genDays :: forall m. MonadGen m => m Days

Generates a random Days duration, up to 6 weeks.

genHour :: forall m. MonadGen m => m Hour

Generates a random Hour component.

genHours :: forall m. MonadGen m => m Hours

Generates a random Hours duration, up to 10 days.

genMillisecond :: forall m. MonadGen m => m Millisecond

Generates a random Millisecond component.

genMilliseconds :: forall m. MonadGen m => m Milliseconds

Generates a random Milliseconds duration, up to 10 minutes.