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.

genMinute :: forall m. MonadGen m => m Minute

Generates a random Minute component.

genMinutes :: forall m. MonadGen m => m Minutes

Generates a random Seconds duration, up to 10 hours.

genMonth :: forall m. MonadGen m => m Month

Generates a random Month component.

genSecond :: forall m. MonadGen m => m Second

Generates a random Second component.

genSeconds :: forall m. MonadGen m => m Seconds

Generates a random Seconds duration, up to 10 minutes.

genTime :: forall m. MonadGen m => m Time

Generates a random Time between 00:00:00 and 23:59:59, inclusive.

genWeekday :: forall m. MonadGen m => m Weekday

Generates a random Weekday component.

genYear :: forall m. MonadGen m => m Year

Generates a random Year in the range 1900-2100, inclusive.

empty :: forall a. Set a

An empty set

never :: forall a. Aff a

An async computation which does not resolve.

null :: forall a. Nullable a

The null value.

empty :: forall a. Object a

An empty map

CatNil :: forall a. CatList a

empty :: forall a. CatList a

Create an empty catenable list.

Running time: O(1)

empty :: forall a. CatQueue a

Create an empty queue.

Running time: O(1)

Empty :: forall a. AVarStatus a

arbitrary :: forall t. Arbitrary t => Gen t

enum :: forall a. BoundedEnum a => Gen a

Create a random generator for a finite enumeration. toEnum i must be well-behaved: It must return a value wrapped in Just for all Ints between fromEnum bottom and fromEnum top.

genericArbitrary :: forall a rep. Generic a rep => Arbitrary rep => Gen a

A Generic implementation of the arbitrary member from the Arbitrary type class.

genJson :: forall m. MonadGen m => MonadRec m => Lazy (m Json) => m Json

A generator for Json values. Especially useful for writing property-based tests.

exit :: forall a. Effect a

Cause the process to exit immediately without completing any pending asynchronous operations including I/O operations to process.stdout and process.stderr. Process will exit with the process.exitCode value if it has been set or 0 (i.e. exit successfully) otherwise.

Rather than using this function to exit, one should set process.exitCode and let Node gracefully exit once all pending asynchronous operations have completed. If it is necessary to terminate the Node.js process due to an error condition, throwing an uncaught error and allowing the process to terminate accordingly is safer than calling process.exit().

genJCursor :: forall m. MonadGen m => MonadRec m => Lazy (m JCursor) => m JCursor

SequenceRecord :: forall f. SequenceRecord f

area :: forall e. Markup e

base :: forall e. Markup e

br :: forall e. Markup e

circle :: forall e. Markup e

col :: forall e. Markup e

ellipse :: forall e. Markup e

embed :: forall e. Markup e

empty :: forall e. Markup e

Used for empty nodes (without text or children)

hr :: forall e. Markup e

img :: forall e. Markup e

input :: forall e. Markup e

keygen :: forall e. Markup e

line :: forall e. Markup e

link :: forall e. Markup e

menuitem :: forall e. Markup e

meta :: forall e. Markup e

param :: forall e. Markup e

polygon :: forall e. Markup e

polyline :: forall e. Markup e

rect :: forall e. Markup e

source :: forall e. Markup e

track :: forall e. Markup e

wbr :: forall e. Markup e

errorKey :: forall a. Proxy a

intLit :: forall sym. IsSymbol sym => Int sym => IntLit sym

numberLit :: forall sym. IsSymbol sym => Number sym => NumberLit sym

stringLit :: forall sym. IsSymbol sym => StringLit sym