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

Socket configuration

>>> defaultSocketConfig
SocketConfig {host = "127.0.0.1", port = 9160, path = "/"}

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.3.0-5G2mf2vq864I4BQne4Gmwa" 'False) (C1 ('MetaCons "SocketConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "host") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "port") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "path") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))))

defaultSocketConfig :: SocketConfig

official default

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.9.0-FFHlZqGzuH486m4XFlSGqF" 'False) ((C1 ('MetaCons "Replace" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Append" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text))) :+: (C1 ('MetaCons "Console" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "Eval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "Val" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))))

code :: Code -> Text

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