Module

React

Package: purescript-react
Repository: purescript-contrib/purescript-react

This module defines foreign types and functions which wrap React's functionality.

#TagName Source

type TagName = String

Name of a tag.

#ReactElement Source

data ReactElement

A virtual DOM node, or component.

Instances

#ReactComponent Source

data ReactComponent

A mounted react component

#ReactThis Source

data ReactThis t0 t1

A reference to a component, essentially React's this.

#ReactUnusedSnapshot Source

data ReactUnusedSnapshot

#SyntheticEventHandler Source

type SyntheticEventHandler event = EffectFn1 event Unit

#Render Source

type Render = Effect ReactElement

A render effect.

#ComponentWillMount Source

type ComponentWillMount = Effect Unit

A component will mount effect.

#ComponentDidMount Source

type ComponentDidMount = Effect Unit

A component did mount effect.

#ComponentDidCatch Source

type ComponentDidCatch = Error -> { componentStack :: String } -> Effect Unit

A component did catch effect.

#ComponentWillReceiveProps Source

type ComponentWillReceiveProps props = props -> Effect Unit

A component will receive props function.

#ShouldComponentUpdate Source

type ShouldComponentUpdate props state = props -> state -> Effect Boolean

A should component update function.

#ComponentWillUpdate Source

type ComponentWillUpdate props state = props -> state -> Effect Unit

A component will update function.

#ComponentDidUpdate Source

type ComponentDidUpdate props state snapshot = props -> state -> snapshot -> Effect Unit

A component did update function.

#GetSnapshotBeforeUpdate Source

type GetSnapshotBeforeUpdate props state snapshot = props -> state -> Effect snapshot

#ComponentWillUnmount Source

type ComponentWillUnmount = Effect Unit

A component will unmount effect.

#ReactSpecRequired Source

type ReactSpecRequired :: Type -> Row Type -> Row Typetype ReactSpecRequired state r = (render :: Render, state :: state | r)

Required fields for constructing a ReactClass.

#ReactSpecUnsafe Source

type ReactSpecUnsafe :: Type -> Type -> Row Type -> Row Typetype ReactSpecUnsafe props state r = (unsafeComponentWillMount :: ComponentWillMount, unsafeComponentWillReceiveProps :: ComponentWillReceiveProps props, unsafeComponentWillUpdate :: ComponentWillUpdate props state | r)

#ReactSpecOptional Source

type ReactSpecOptional :: Type -> Type -> Type -> Row Type -> Row Typetype ReactSpecOptional props state snapshot r = (componentDidCatch :: ComponentDidCatch, componentDidMount :: ComponentDidMount, componentDidUpdate :: ComponentDidUpdate props state snapshot, componentWillUnmount :: ComponentWillUnmount, getSnapshotBeforeUpdate :: GetSnapshotBeforeUpdate props state snapshot | ReactSpecUnsafe props state r)

Optional fields for constructing a ReactClass.

#ReactSpecShouldComponentUpdate Source

type ReactSpecShouldComponentUpdate :: Type -> Type -> Row Typetype ReactSpecShouldComponentUpdate props state = (shouldComponentUpdate :: ShouldComponentUpdate props state)

#ReactSpecAll Source

type ReactSpecAll :: Type -> Type -> Type -> Row Typetype ReactSpecAll props state snapshot = (ReactSpecRequired state) + (ReactSpecOptional props state snapshot) + (ReactSpecShouldComponentUpdate props state)

#ReactSpecPure Source

type ReactSpecPure :: Type -> Type -> Type -> Row Typetype ReactSpecPure props state snapshot = (ReactSpecRequired state) + (ReactSpecOptional props state snapshot ())

#ReactClassConstructor Source

type ReactClassConstructor :: Type -> Type -> Row Type -> Typetype ReactClassConstructor props state r = ReactThis props state -> Effect (Record r)

The signature for a ReactClass constructor. A constructor takes the ReactThis context and returns a record with appropriate lifecycle methods.

#ReactComponentSpec Source

class ReactComponentSpec :: Type -> Type -> Type -> Row Type -> Row Type -> Constraintclass ReactComponentSpec props state snapshot (given :: Row Type) (spec :: Row Type)

Instances

(Union given (ReactSpecAll props state ReactUnusedSnapshot) spec, Nub spec (ReactSpecAll props state snapshot)) => ReactComponentSpec props state snapshot given spec

#ReactPureComponentSpec Source

class ReactPureComponentSpec :: Type -> Type -> Type -> Row Type -> Row Type -> Constraintclass ReactPureComponentSpec props state snapshot (given :: Row Type) (spec :: Row Type)

Instances

(Union given (ReactSpecPure props state ReactUnusedSnapshot) spec, Nub spec (ReactSpecPure props state snapshot)) => ReactPureComponentSpec props state snapshot given spec

#component Source

component :: forall props state snapshot given spec. ReactComponentSpec (Record props) (Record state) snapshot given spec => String -> ReactClassConstructor (Record props) (Record state) given -> ReactClass (Record props)

Creates a ReactClass inherited from React.Component.

#componentWithDerivedState Source

componentWithDerivedState :: forall props state snapshot given spec. ReactComponentSpec (Record props) (Record state) snapshot given spec => String -> (Record props -> Record state -> Record state) -> ReactClassConstructor (Record props) (Record state) given -> ReactClass (Record props)

Like component, but takes a getDerivedStateFromProps handler.

#pureComponent Source

pureComponent :: forall props state snapshot given spec. ReactPureComponentSpec (Record props) (Record state) snapshot given spec => String -> ReactClassConstructor (Record props) (Record state) given -> ReactClass (Record props)

Creates a ReactClass inherited from React.PureComponent.

#pureComponentWithDerivedState Source

pureComponentWithDerivedState :: forall props state snapshot given spec. ReactPureComponentSpec (Record props) (Record state) snapshot given spec => String -> (Record props -> Record state -> Record state) -> ReactClassConstructor (Record props) (Record state) given -> ReactClass (Record props)

Like pureComponent, but takes a getDerivedStateFromProps handler.

#statelessComponent Source

statelessComponent :: forall props. (Record props -> ReactElement) -> ReactClass (Record props)

#ReactClass Source

data ReactClass t0

React class for components.

#getProps Source

getProps :: forall props state. ReactThis props state -> Effect props

Read the component props.

#getState Source

getState :: forall props state. ReactThis props state -> Effect state

Get the component state.

#setState Source

setState :: forall props given rest all. Union given rest all => ReactThis props (Record all) -> Record given -> Effect Unit

Update component state given some sub-set of state properties.

#setStateWithCallback Source

setStateWithCallback :: forall props given rest all. Union given rest all => ReactThis props (Record all) -> Record given -> Effect Unit -> Effect Unit

Update component state given some sub-set of state properties, while also invoking a callback when applied.

#writeState Source

writeState :: forall props all. ReactThis props (Record all) -> Record all -> Effect Unit

Update component state.

#writeStateWithCallback Source

writeStateWithCallback :: forall props all. ReactThis props (Record all) -> Record all -> Effect Unit -> Effect Unit

Update component state, while also invoking a callback when applied.

#modifyState Source

modifyState :: forall props state. ReactThis props state -> (state -> state) -> Effect Unit

Update component state given a modification function.

#modifyStateWithCallback Source

modifyStateWithCallback :: forall props state. ReactThis props state -> (state -> state) -> Effect Unit -> Effect Unit

Update component state given a modification function, while also invoking a callback when applied.

#forceUpdate Source

forceUpdate :: forall props state. ReactThis props state -> Effect Unit

Force render of a react component.

#forceUpdateWithCallback Source

forceUpdateWithCallback :: forall props state. ReactThis props state -> Effect Unit -> Effect Unit

Force render and then run an Effect.

#ReactPropFields Source

class ReactPropFields :: Row Type -> Row Type -> Constraintclass ReactPropFields (required :: Row Type) (given :: Row Type)

Instances

(Union given optional (ReservedReactPropFields required), Union optional leftover (ReservedReactPropFields ())) => ReactPropFields required given

#ReservedReactPropFields Source

type ReservedReactPropFields :: Row Type -> Row Typetype ReservedReactPropFields r = (key :: String, ref :: RefHandler ReactInstance | r)

#createElement Source

createElement :: forall required given. ReactPropFields required given => ReactClass { children :: Children | required } -> Record given -> Array ReactElement -> ReactElement

Create an element from a React class spreading the children array. Used when the children are known up front.

#unsafeCreateElement Source

unsafeCreateElement :: forall props. ReactClass { children :: Children | props } -> Record props -> Array ReactElement -> ReactElement

An unsafe version of createElement which does not enforce the reserved properties "key" and "ref".

#createElementDynamic Source

createElementDynamic :: forall required given. ReactPropFields required given => ReactClass { children :: Children | required } -> Record given -> Array ReactElement -> ReactElement

Create an element from a React class passing the children array. Used for a dynamic array of children.

#unsafeCreateElementDynamic Source

unsafeCreateElementDynamic :: forall props. ReactClass { children :: Children | props } -> Record props -> Array ReactElement -> ReactElement

An unsafe version of createElementDynamic which does not enforce the reserved properties "key" and "ref".

#createLeafElement Source

createLeafElement :: forall required given. ReactPropFields required given => ReactClass (Record required) -> Record given -> ReactElement

Create an element from a React class that does not require children. Additionally it can be used when the children are represented /only/ through the children prop - for instance, a ContextConsumer would be turned into a ReactElement with createLeafElement someContext.consumer { children: \x -> ... }.

#unsafeCreateLeafElement Source

unsafeCreateLeafElement :: forall props. ReactClass props -> props -> ReactElement

An unsafe version of createLeafElement which does not enforce the reserved properties "key" and "ref".

#createElementTagName Source

createElementTagName :: forall props. TagName -> props -> Array ReactElement -> ReactElement

Create an element from a tag name spreading the children array. Used when the children are known up front.

#createElementTagNameDynamic Source

createElementTagNameDynamic :: forall props. TagName -> props -> Array ReactElement -> ReactElement

Create an element from a tag name passing the children array. Used for a dynamic array of children.

#Children Source

data Children

Internal representation for the children elements passed to a component

Instances

IsReactElement Children

#childrenToArray Source

childrenToArray :: Children -> Array ReactElement

Internal conversion function from children elements to an array of React elements

#childrenCount Source

childrenCount :: Children -> Int

Returns the number of children.

#IsReactElement Source

class IsReactElement a  where

Members

toElement :: a -> ReactElement

Instances

#fragment Source

fragment :: ReactClass { children :: Children }

#fragmentWithKey Source

fragmentWithKey :: String -> Array ReactElement -> ReactElement

Creates a keyed fragment.

#Context Source

type Context a = { consumer :: ContextConsumer a, provider :: ContextProvider a }

#ContextProvider Source

type ContextProvider a = ReactClass { children :: Children, value :: a }

#ContextConsumer Source

type ContextConsumer a = ReactClass { children :: a -> ReactElement }

#createContext Source

createContext :: forall a. a -> Context a

Create a new context provider/consumer pair given a default value.

Modules: React; React.DOM; React.DOM.Dynamic; React.DOM.Props; React.DOM.SVG; React.DOM.SVG.Dynamic; React.Ref; React.SyntheticEvent