Reactix.React

data React

react :: React

data ReactDOM

reactDOM :: ReactDOM

render :: Element -> Element -> Effect Unit

Renders a React Element to a real Element

data Element

A React Element node

Instances

• IsComponent (Component props) props (Array Element)
• IsComponent (Memo props) props (Array Element)
• IsComponent (Provider v) (value :: v) (Array Element)
• IsComponent (Consumer v) () (v -> Element)
• Semigroup Element
• Monoid Element

newtype Hooks a

The Hooks monad

Instances

• Functor Hooks
• Apply Hooks
• Applicative Hooks
• Bind Hooks
• Monad Hooks
• MonadDelay Hooks

unsafeHooksEffect :: forall a. Effect a -> Hooks a

runHooks :: forall a. Hooks a -> Effect a

data Context t0

A React Context

createContext :: forall v. v -> Context v

Creates a Context from a given value

provideContext :: forall v. Context v -> v -> Array Element -> Element

consumeContext :: forall v. Context v -> (v -> Element) -> Element

data Provider t0

The Provider for a React Context

Instances

• IsComponent (Provider v) (value :: v) (Array Element)

provider :: forall v. Context v -> Provider v

provide :: forall v. Provider v -> v -> Array Element -> Element

data Consumer t0

The Consumer for a React Context

Instances

• IsComponent (Consumer v) () (v -> Element)

consumer :: forall v. Context v -> Consumer v

consume :: forall v. Consumer v -> (v -> Element) -> Element

createPortal :: Array Element -> Element -> Element

class IsComponent :: Type -> Row Type -> Type -> Constraintclass IsComponent component (props :: Row Type) children | component -> props, component -> children where

Members

• createElement :: component -> Record props -> children -> Element

Instances

• IsComponent (Component props) props (Array Element)
• IsComponent (Memo props) props (Array Element)
• IsComponent (Provider v) (value :: v) (Array Element)
• IsComponent (Consumer v) () (v -> Element)

newtype Component :: Row Type -> Typenewtype Component props

Instances

• IsComponent (Component props) props (Array Element)

createDOMElement :: forall r. String -> Record r -> Array Element -> Element

rawCreateElement :: forall c p cs. c -> p -> Array cs -> Element

type StaticComponent :: Row Type -> Typetype StaticComponent props = Record props -> Array Element -> Element

staticComponent :: forall props. String -> StaticComponent props -> Component props

Turns a StaticComponent function into a Component

staticComponentWithModule :: forall props. Module -> String -> StaticComponent props -> Component props

type HooksComponent :: Row Type -> Typetype HooksComponent props = Record props -> Array Element -> Hooks Element

The type of a function that can be turned into a component with hooksComponent. Will have access to the Hooks Monad.

hooksComponent :: forall props. String -> HooksComponent props -> Component props

Turns a HooksComponent function into a Component

hooksComponentWithModule :: forall props. Module -> String -> HooksComponent props -> Component props

fragment :: Array Element -> Element

Clones an element. Quite unsafe because tripping through Element loses the type of the props. Be careful. Combines several elements together

class MonadDelay :: (Type -> Type) -> Constraintclass (Monad m) <= MonadDelay m 

This class is for Monads whose side effect includes delayed computation. So far, it's Effect and Hooks.

Instances

• MonadDelay Effect
• MonadDelay Hooks

data Ref t0

createRef :: forall r. Unit -> NullableRef r

readRef :: forall r. Ref r -> r

readRefM :: forall r m. MonadDelay m => Ref r -> m r

readNullableRef :: forall r. Ref (Nullable r) -> Maybe r

readNullableRefM :: forall r m. MonadDelay m => Ref (Nullable r) -> Effect (Maybe r)

setRef :: forall r. Ref r -> r -> Effect Unit

isValid :: forall a. a -> Boolean

data Memo :: Row Type -> Typedata Memo t0

Instances

• IsComponent (Memo props) props (Array Element)

memo :: forall props. Component props -> (Record props -> Record props -> Boolean) -> Memo props

memo' :: forall props. Component props -> Memo props