Web.Page.Rep

Documentation

data Element

Abstracted message event elements

Constructors

Element

Fields

• element :: Text
• value :: Text

Instances

Eq Element

Defined in Web.Page.Rep

Methods

(==) :: Element -> Element -> Bool

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

Show Element

Defined in Web.Page.Rep

Methods

showsPrec :: Int -> Element -> ShowS

show :: Element -> String

showList :: [Element] -> ShowS

Generic Element

Defined in Web.Page.Rep

Associated Types

type Rep Element :: Type -> Type

Methods

from :: Element -> Rep Element x

to :: Rep Element x -> Element

ToJSON Element

Defined in Web.Page.Rep

Methods

toJSON :: Element -> Value

toEncoding :: Element -> Encoding

toJSONList :: [Element] -> Value

toEncodingList :: [Element] -> Encoding

FromJSON Element

Defined in Web.Page.Rep

Methods

parseJSON :: Value -> Parser Element

parseJSONList :: Value -> Parser [Element]

type Rep Element

Defined in Web.Page.Rep

type Rep Element = D1 (MetaData "Element" "Web.Page.Rep" "web-rep-0.1.2-DZZ9ljrqQSJ9eWvBqn9RmN" False) (C1 (MetaCons "Element" PrefixI True) (S1 (MetaSel (Just "element") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data RepF r a

Constructors

Rep

Fields

• rep :: r
• make :: HashMap Text Text -> (HashMap Text Text, Either Text a)

Instances

Bifunctor RepF

Defined in Web.Page.Rep

Methods

bimap :: (a -> b) -> (c -> d) -> RepF a c -> RepF b d

first :: (a -> b) -> RepF a c -> RepF b c

second :: (b -> c) -> RepF a b -> RepF a c

Biapplicative RepF

Defined in Web.Page.Rep

Methods

bipure :: a -> b -> RepF a b

(<<*>>) :: RepF (a -> b) (c -> d) -> RepF a c -> RepF b d

biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> RepF a d -> RepF b e -> RepF c f

(*>>) :: RepF a b -> RepF c d -> RepF c d

(<<*) :: RepF a b -> RepF c d -> RepF a b

Functor (RepF r)

Defined in Web.Page.Rep

Methods

fmap :: (a -> b) -> RepF r a -> RepF r b

(<$) :: a -> RepF r b -> RepF r a

Monoid r => Applicative (RepF r)

Defined in Web.Page.Rep

Methods

pure :: a -> RepF r a

(<*>) :: RepF r (a -> b) -> RepF r a -> RepF r b

liftA2 :: (a -> b -> c) -> RepF r a -> RepF r b -> RepF r c

(*>) :: RepF r a -> RepF r b -> RepF r b

(<*) :: RepF r a -> RepF r b -> RepF r a

Semigroup r => Semigroup (RepF r a)

Defined in Web.Page.Rep

Methods

(<>) :: RepF r a -> RepF r a -> RepF r a

sconcat :: NonEmpty (RepF r a) -> RepF r a

stimes :: Integral b => b -> RepF r a -> RepF r a

(Monoid a, Monoid r) => Monoid (RepF r a)

Defined in Web.Page.Rep

Methods

mempty :: RepF r a

mappend :: RepF r a -> RepF r a -> RepF r a

mconcat :: [RepF r a] -> RepF r a

type Rep a = RepF (Html ()) a

oneRep :: (Monad m, MonadIO m) => Rep a -> (Rep a -> HashMap Text Text -> m ()) -> StateT (HashMap Text Text) m (HashMap Text Text, Either Text a)

newtype SharedRepF m r a

Constructors

SharedRep

Fields

• unrep :: StateT (Int, HashMap Text Text) m (RepF r a)

Instances

Functor m => Bifunctor (SharedRepF m)

Defined in Web.Page.Rep

Methods

bimap :: (a -> b) -> (c -> d) -> SharedRepF m a c -> SharedRepF m b d

first :: (a -> b) -> SharedRepF m a c -> SharedRepF m b c

second :: (b -> c) -> SharedRepF m a b -> SharedRepF m a c

Monad m => Biapplicative (SharedRepF m)

Defined in Web.Page.Rep

Methods

bipure :: a -> b -> SharedRepF m a b

(<<*>>) :: SharedRepF m (a -> b) (c -> d) -> SharedRepF m a c -> SharedRepF m b d

biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> SharedRepF m a d -> SharedRepF m b e -> SharedRepF m c f

(*>>) :: SharedRepF m a b -> SharedRepF m c d -> SharedRepF m c d

(<<*) :: SharedRepF m a b -> SharedRepF m c d -> SharedRepF m a b

Functor m => Functor (SharedRepF m r)

Defined in Web.Page.Rep

Methods

fmap :: (a -> b) -> SharedRepF m r a -> SharedRepF m r b

(<$) :: a -> SharedRepF m r b -> SharedRepF m r a

(Monad m, Monoid r) => Applicative (SharedRepF m r)

Defined in Web.Page.Rep

Methods

pure :: a -> SharedRepF m r a

(<*>) :: SharedRepF m r (a -> b) -> SharedRepF m r a -> SharedRepF m r b

liftA2 :: (a -> b -> c) -> SharedRepF m r a -> SharedRepF m r b -> SharedRepF m r c

(*>) :: SharedRepF m r a -> SharedRepF m r b -> SharedRepF m r b

(<*) :: SharedRepF m r a -> SharedRepF m r b -> SharedRepF m r a

type SharedRep m a = SharedRepF m (Html ()) a

runOnce :: Monad m => SharedRep m a -> (Html () -> HashMap Text Text -> m ()) -> m (HashMap Text Text, Either Text a)

zeroState :: Monad m => SharedRep m a -> m (Html (), (HashMap Text Text, Either Text a))

listify :: Monad m => (Text -> a -> SharedRep m a) -> [Text] -> [a] -> SharedRep m [a]

accordionListify :: Monad m => Maybe Text -> Text -> Maybe Text -> (Text -> a -> SharedRep m a) -> [Text] -> [a] -> SharedRep m [a]

accordionListifyMaybe :: Monad m => Maybe Text -> Text -> (a -> SharedRep m a) -> (Bool -> SharedRep m Bool) -> [Text] -> [(Bool, a)] -> SharedRep m [(Bool, a)]

listifyDefault :: Monad m => Maybe Text -> Text -> (Text -> a -> SharedRep m a) -> [a] -> SharedRep m [a]

listifyMaybe :: Monad m => Maybe Text -> Text -> (Text -> Maybe a -> SharedRep m (Maybe a)) -> Int -> [a] -> SharedRep m [Maybe a]

listifyMaybe' :: Monad m => Maybe Text -> Text -> (Bool -> SharedRep m Bool) -> (a -> SharedRep m a) -> Int -> a -> [a] -> SharedRep m [a]

defaultListifyLabels :: Int -> [Text]

valueModel :: (FromJSON a, MonadState s m) => (a -> s -> s) -> Stream (Of Value) m () -> Stream (Of (Either Text s)) m ()

valueConsume :: s -> (Element -> s -> s) -> Cont IO (Committer IO (Either Text s)) -> Cont_ IO Value -> IO s

consume an Element using a Committer and a Value continuation

sharedModel :: (FromJSON a, MonadState s m) => (s -> (s, Either Text b)) -> (a -> s -> s) -> Stream (Of Value) m () -> Stream (Of (Either Text (s, Either Text b))) m ()

sharedConsume :: (s -> (s, Either Text b)) -> s -> (Element -> s -> s) -> Cont IO (Committer IO (Either Text (s, Either Text b))) -> Cont_ IO Value -> IO s

runList :: Monad m => SharedRep m a -> [Value] -> m [Either Text (HashMap Text Text, Either Text a)]

runOnEvent :: SharedRep IO a -> (Rep a -> StateT (Int, HashMap Text Text) IO ()) -> (Either Text (HashMap Text Text, Either Text a) -> IO ()) -> Cont_ IO Value -> IO (HashMap Text Text)