Jelly.Component

data ComponentF :: (Type -> Type) -> Type -> Typedata ComponentF m f

ComponentF is a functor that represents one operations in ComponentM

Constructors

• ComponentEl String (Array (Prop m)) (Component m) f
• ComponentElNS String String (Array (Prop m)) (Component m) f
• ComponentElVoid String (Array (Prop m)) f
• ComponentRawSig (Signal String) f
• ComponentTextSig (Signal String) f
• ComponentDoctype String String String f
• ComponentHooks (m (Component m)) f
• ComponentSwitch (Signal (Component m)) f

Instances

• Functor (ComponentF m)

newtype ComponentM :: (Type -> Type) -> Type -> Typenewtype ComponentM m a

ComponentM is a monad that represents a component

Constructors

• ComponentM (Free (ComponentF m) a)

Instances

• (Functor m) => Functor (ComponentM m)
• Apply (ComponentM m)
• Applicative (ComponentM m)
• Bind (ComponentM m)
• Monad (ComponentM m)
• MonadRec (ComponentM m)
• (Semigroup a) => Semigroup (ComponentM m a)
• (Monoid a) => Monoid (ComponentM m a)

type Component :: (Type -> Type) -> Typetype Component m = ComponentM m Unit

Usually a in ComponentM m a is Unit, so this is a convenient alias

foldComponentM :: forall m n. MonadRec n => ((ComponentF m) ~> n) -> (ComponentM m) ~> n

Fold ComponentM into another monad, using foldFree.

el :: forall m. String -> Array (Prop m) -> Component m -> Component m

Represents a element

el' :: forall m. String -> Component m -> Component m

Same asel, but without Props

elNS :: forall m. String -> String -> Array (Prop m) -> Component m -> Component m

Represents a element with a namespace

elNS' :: forall m. String -> String -> Component m -> Component m

Same aselNS, but without Props

elVoid :: forall m. String -> Array (Prop m) -> Component m

Represents a void element

elVoid' :: forall m. String -> Component m

Same aselVoid, but without Props

rawSig :: forall m. Signal String -> Component m

Convert Raw HTML to a Component

raw :: forall m. String -> Component m

Same as rawSig, but with a constant String.

textSig :: forall m. Signal String -> Component m

Convert a text Signal to Text Node.

text :: forall m. String -> Component m

Same as textSig, but with a constant String.

doctype :: forall m. String -> String -> String -> Component m

Represents a doctype node

doctypeHtml :: forall m. Component m

Represents <DOCTYPE html>

switch :: forall m. Signal (Component m) -> Component m

Switch components based on a Signal

hooks :: forall m. m (Component m) -> Component m

Embeds a hooks into a component