Web.Rep.Socket

A socket between a web page and haskell, based on the box library.

Documentation

socketPage :: Page

serveSocketBox :: SocketConfig -> Page -> Box IO Text Text -> IO ()

sharedServer :: SharedRep IO a -> SocketConfig -> Page -> (Html () -> [Code]) -> (Either Text a -> IO [Code]) -> IO ()

defaultSharedServer :: Show a => SharedRep IO a -> IO ()

data SocketConfig

Constructors

SocketConfig

Fields

• host :: Text
• port :: Int
• path :: Text

Instances

Eq SocketConfig

Defined in Box.Socket

Methods

(==) :: SocketConfig -> SocketConfig -> Bool

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

Show SocketConfig

Defined in Box.Socket

Methods

showsPrec :: Int -> SocketConfig -> ShowS

show :: SocketConfig -> String

showList :: [SocketConfig] -> ShowS

Generic SocketConfig

Defined in Box.Socket

Associated Types

type Rep SocketConfig :: Type -> Type

Methods

from :: SocketConfig -> Rep SocketConfig x

to :: Rep SocketConfig x -> SocketConfig

type Rep SocketConfig

Defined in Box.Socket

type Rep SocketConfig = D1 (MetaData "SocketConfig" "Box.Socket" "box-socket-0.0.2-DCPmjHkRbpY8L8u4iozXUU" False) (C1 (MetaCons "SocketConfig" PrefixI True) (S1 (MetaSel (Just "host") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: (S1 (MetaSel (Just "port") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "path") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))

defaultSocketConfig :: SocketConfig

defaultSocketPage :: Page

defaultInputCode :: Html () -> [Code]

defaultOutputCode :: (Monad m, Show a) => Either Text a -> m [Code]

data Code

Constructors

Replace Text Text

Append Text Text

Console Text

Eval Text

Val Text

Instances

Eq Code

Defined in Web.Rep.Socket

Methods

(==) :: Code -> Code -> Bool

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

Read Code

Defined in Web.Rep.Socket

Methods

readsPrec :: Int -> ReadS Code

readList :: ReadS [Code]

readPrec :: ReadPrec Code

readListPrec :: ReadPrec [Code]

Show Code

Defined in Web.Rep.Socket

Methods

showsPrec :: Int -> Code -> ShowS

show :: Code -> String

showList :: [Code] -> ShowS

Generic Code

Defined in Web.Rep.Socket

Associated Types

type Rep Code :: Type -> Type

Methods

from :: Code -> Rep Code x

to :: Rep Code x -> Code

type Rep Code

Defined in Web.Rep.Socket

type Rep Code = D1 (MetaData "Code" "Web.Rep.Socket" "web-rep-0.7.0-FbnLiBhVUXzFOFUBGflJ1L" False) ((C1 (MetaCons "Replace" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "Append" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))) :+: (C1 (MetaCons "Console" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: (C1 (MetaCons "Eval" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) :+: C1 (MetaCons "Val" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))))

code :: Code -> Text

wrangle :: Monad m => Box m Text Text -> Box m [Code] (Text, Text)