Web.Suavemente.Types

Documentation

newtype Suave a

An applicative functor capable of getting input from an HTML page.

Constructors

Suave

Fields

• suavely :: StateT Int STM (Input a)

Instances

Functor Suave

Defined in Web.Suavemente.Types

Methods

fmap :: (a -> b) -> Suave a -> Suave b

(<$) :: a -> Suave b -> Suave a

Applicative Suave

Defined in Web.Suavemente.Types

Methods

pure :: a -> Suave a

(<*>) :: Suave (a -> b) -> Suave a -> Suave b

liftA2 :: (a -> b -> c) -> Suave a -> Suave b -> Suave c

(*>) :: Suave a -> Suave b -> Suave b

(<*) :: Suave a -> Suave b -> Suave a

data SomeSuave where

An existentialized Suave.

Constructors

SomeSuave :: (a -> Markup) -> Suave a -> SomeSuave

data Input a

An applicative functor can introduce new markup, and hook it up to the event stream.

Constructors

Input

Fields

• _iHtml :: Markup

  The markup of the input.

• _iFold :: IO () -> Stream (Of ChangeEvent) IO () -> Stream (Of ChangeEvent) IO ()

  A means of handling the event stream. The stream is of (name, value) pairs. An Input is responsible for stripping its own events out of this stream.

  The 'IO ()' action is to publish a change notification to the downstream computations.

• _iValue :: STM a

  The current value of the Input.

Instances

Functor Input

Defined in Web.Suavemente.Types

Methods

fmap :: (a -> b) -> Input a -> Input b

(<$) :: a -> Input b -> Input a

Applicative Input

Defined in Web.Suavemente.Types

Methods

pure :: a -> Input a

(<*>) :: Input (a -> b) -> Input a -> Input b

liftA2 :: (a -> b -> c) -> Input a -> Input b -> Input c

(*>) :: Input a -> Input b -> Input b

(<*) :: Input a -> Input b -> Input a

data ChangeEvent

Change messages that come from the JS side.

Constructors

ChangeEvent

Fields

• ceElement :: String
• cePayload :: Value

Instances

Eq ChangeEvent

Defined in Web.Suavemente.Types

Methods

(==) :: ChangeEvent -> ChangeEvent -> Bool

(/=) :: ChangeEvent -> ChangeEvent -> Bool

Show ChangeEvent

Defined in Web.Suavemente.Types

Methods

showsPrec :: Int -> ChangeEvent -> ShowS

show :: ChangeEvent -> String

showList :: [ChangeEvent] -> ShowS

Generic ChangeEvent

Defined in Web.Suavemente.Types

Associated Types

type Rep ChangeEvent :: Type -> Type

Methods

from :: ChangeEvent -> Rep ChangeEvent x

to :: Rep ChangeEvent x -> ChangeEvent

FromJSON ChangeEvent

Defined in Web.Suavemente.Types

Methods

parseJSON :: Value -> Parser ChangeEvent

parseJSONList :: Value -> Parser [ChangeEvent]

type Rep ChangeEvent

Defined in Web.Suavemente.Types

type Rep ChangeEvent = D1 (MetaData "ChangeEvent" "Web.Suavemente.Types" "suavemente-0.2.0.0-2RmTnO3yJOwIVgk7kgV5cE" False) (C1 (MetaCons "ChangeEvent" PrefixI True) (S1 (MetaSel (Just "ceElement") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Just "cePayload") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Value)))