Network.JavaScript.Internal

JavaScript

newtype JavaScript

Constructors

JavaScript Text

Instances

Show JavaScript

Defined in Network.JavaScript.Internal

Methods

showsPrec :: Int -> JavaScript -> ShowS

show :: JavaScript -> String

showList :: [JavaScript] -> ShowS

IsString JavaScript

Defined in Network.JavaScript.Internal

Methods

fromString :: String -> JavaScript

Semigroup JavaScript

Defined in Network.JavaScript.Internal

Methods

(<>) :: JavaScript -> JavaScript -> JavaScript

sconcat :: NonEmpty JavaScript -> JavaScript

stimes :: Integral b => b -> JavaScript -> JavaScript

Monoid JavaScript

Defined in Network.JavaScript.Internal

Methods

mempty :: JavaScript

mappend :: JavaScript -> JavaScript -> JavaScript

mconcat :: [JavaScript] -> JavaScript

Commands

class Command f

Minimal complete definition

internalCommand, internalConstructor

Instances

Command RemoteMonad

Defined in Network.JavaScript.Internal

Methods

internalCommand :: JavaScript -> RemoteMonad ()

internalConstructor :: JavaScript -> RemoteMonad (RemoteValue a)

Command Packet

Defined in Network.JavaScript.Internal

Methods

internalCommand :: JavaScript -> Packet ()

internalConstructor :: JavaScript -> Packet (RemoteValue a)

internalCommand :: Command f => JavaScript -> f ()

internalConstructor :: Command f => JavaScript -> f (RemoteValue a)

Procedures

class Procedure f

Minimal complete definition

internalProcedure

Instances

Procedure RemoteMonad

Defined in Network.JavaScript.Internal

Methods

internalProcedure :: FromJSON a => JavaScript -> RemoteMonad a

Procedure Packet

Defined in Network.JavaScript.Internal

Methods

internalProcedure :: FromJSON a => JavaScript -> Packet a

internalProcedure :: (Procedure f, FromJSON a) => JavaScript -> f a

Primitives and (Remote) Values

data Primitive :: * -> * where

Constructors

Command :: JavaScript -> Primitive ()

Procedure :: FromJSON a => JavaScript -> Primitive a

Constructor :: JavaScript -> Primitive (RemoteValue a)

newtype RemoteValue a

Constructors

RemoteValue Int

Instances

Eq (RemoteValue a)

Defined in Network.JavaScript.Internal

Methods

(==) :: RemoteValue a -> RemoteValue a -> Bool

(/=) :: RemoteValue a -> RemoteValue a -> Bool

Ord (RemoteValue a)

Defined in Network.JavaScript.Internal

Methods

compare :: RemoteValue a -> RemoteValue a -> Ordering

(<) :: RemoteValue a -> RemoteValue a -> Bool

(<=) :: RemoteValue a -> RemoteValue a -> Bool

(>) :: RemoteValue a -> RemoteValue a -> Bool

(>=) :: RemoteValue a -> RemoteValue a -> Bool

max :: RemoteValue a -> RemoteValue a -> RemoteValue a

min :: RemoteValue a -> RemoteValue a -> RemoteValue a

Show (RemoteValue a)

Defined in Network.JavaScript.Internal

Methods

showsPrec :: Int -> RemoteValue a -> ShowS

show :: RemoteValue a -> String

showList :: [RemoteValue a] -> ShowS

ToJSON (RemoteValue a)

Defined in Network.JavaScript.Internal

Methods

toJSON :: RemoteValue a -> Value

toEncoding :: RemoteValue a -> Encoding

toJSONList :: [RemoteValue a] -> Value

toEncodingList :: [RemoteValue a] -> Encoding

var :: RemoteValue a -> JavaScript

generate the text for a RemoteValue. They can be used as assignment targets as well, but exposes the JavaScript scoping semantics.

(Applicative) Packets

newtype Packet a

The Remote Applicative Packet

Constructors

Packet (AF Primitive a)

Instances

Functor Packet

Defined in Network.JavaScript.Internal

Methods

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

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

Applicative Packet

Defined in Network.JavaScript.Internal

Methods

pure :: a -> Packet a

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

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

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

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

Procedure Packet

Defined in Network.JavaScript.Internal

Methods

internalProcedure :: FromJSON a => JavaScript -> Packet a

Command Packet

Defined in Network.JavaScript.Internal

Methods

internalCommand :: JavaScript -> Packet ()

internalConstructor :: JavaScript -> Packet (RemoteValue a)

data AF :: (* -> *) -> * -> * where

Constructors

PureAF :: a -> AF m a

PrimAF :: m a -> AF m a

ApAF :: AF m (a -> b) -> AF m a -> AF m b

Instances

Functor (AF m)

Defined in Network.JavaScript.Internal

Methods

fmap :: (a -> b) -> AF m a -> AF m b

(<$) :: a -> AF m b -> AF m a

Applicative (AF m)

Defined in Network.JavaScript.Internal

Methods

pure :: a -> AF m a

(<*>) :: AF m (a -> b) -> AF m a -> AF m b

liftA2 :: (a -> b -> c) -> AF m a -> AF m b -> AF m c

(*>) :: AF m a -> AF m b -> AF m b

(<*) :: AF m a -> AF m b -> AF m a

newtype RemoteMonad a

The Remote Monad

Constructors

RemoteMonad (M Primitive a)

Instances

Monad RemoteMonad

Defined in Network.JavaScript.Internal

Methods

(>>=) :: RemoteMonad a -> (a -> RemoteMonad b) -> RemoteMonad b

(>>) :: RemoteMonad a -> RemoteMonad b -> RemoteMonad b

return :: a -> RemoteMonad a

fail :: String -> RemoteMonad a

Functor RemoteMonad

Defined in Network.JavaScript.Internal

Methods

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

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

Applicative RemoteMonad

Defined in Network.JavaScript.Internal

Methods

pure :: a -> RemoteMonad a

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

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

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

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

Procedure RemoteMonad

Defined in Network.JavaScript.Internal

Methods

internalProcedure :: FromJSON a => JavaScript -> RemoteMonad a

Command RemoteMonad

Defined in Network.JavaScript.Internal

Methods

internalCommand :: JavaScript -> RemoteMonad ()

internalConstructor :: JavaScript -> RemoteMonad (RemoteValue a)

evalAF :: Applicative f => (forall x. m x -> f x) -> AF m a -> f a

concatAF :: (forall x. m x -> Maybe b) -> AF m a -> [b]

Monads

data M :: (* -> *) -> * -> * where

Constructors

PureM :: a -> M m a

PrimM :: m a -> M m a

ApM :: M m (a -> b) -> M m a -> M m b

BindM :: M m a -> (a -> M m b) -> M m b

Instances

Monad (M m)

Defined in Network.JavaScript.Internal

Methods

(>>=) :: M m a -> (a -> M m b) -> M m b

(>>) :: M m a -> M m b -> M m b

return :: a -> M m a

fail :: String -> M m a

Functor (M m)

Defined in Network.JavaScript.Internal

Methods

fmap :: (a -> b) -> M m a -> M m b

(<$) :: a -> M m b -> M m a

Applicative (M m)

Defined in Network.JavaScript.Internal

Methods

pure :: a -> M m a

(<*>) :: M m (a -> b) -> M m a -> M m b

liftA2 :: (a -> b -> c) -> M m a -> M m b -> M m c

(*>) :: M m a -> M m b -> M m b

(<*) :: M m a -> M m b -> M m a

evalM :: Monad f => (forall x. m x -> f x) -> M m a -> f a