Safe Haskell	None
Language	Haskell2010

Network.JavaScript.Internal

Contents

JavaScript
Commands
Procedures
Primitives and (Remote) Values
(Applicative) Packets
Monads

Synopsis

newtype JavaScript = JavaScript Text
class Command f
internalCommand :: Command f => JavaScript -> f ()
internalConstructor :: Command f => JavaScript -> f (RemoteValue a)
class Procedure f
internalProcedure :: (Procedure f, FromJSON a) => JavaScript -> f a
data Primitive :: * -> * where
- Command :: JavaScript -> Primitive ()
- Procedure :: FromJSON a => JavaScript -> Primitive a
- Constructor :: JavaScript -> Primitive (RemoteValue a)
newtype RemoteValue a = RemoteValue Int
var :: RemoteValue a -> JavaScript
newtype Packet a = Packet (AF Primitive a)
data AF :: (* -> *) -> * -> * where
- PureAF :: a -> AF m a
- PrimAF :: m a -> AF m a
- ApAF :: AF m (a -> b) -> AF m a -> AF m b
newtype RemoteMonad a = RemoteMonad (M Primitive 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]
data M :: (* -> *) -> * -> * where
- 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
evalM :: Monad f => (forall x. m x -> f x) -> M m a -> f a

JavaScript

newtype JavaScript Source #

Constructors

JavaScript Text

Instances

Show JavaScript Source #
Instance details Defined in Network.JavaScript.Internal Methods showsPrec :: Int -> JavaScript -> ShowS # show :: JavaScript -> String # showList :: [JavaScript] -> ShowS #
IsString JavaScript Source #
Instance details Defined in Network.JavaScript.Internal Methods fromString :: String -> JavaScript #
Semigroup JavaScript Source #
Instance details Defined in Network.JavaScript.Internal Methods (<>) :: JavaScript -> JavaScript -> JavaScript # sconcat :: NonEmpty JavaScript -> JavaScript # stimes :: Integral b => b -> JavaScript -> JavaScript #
Monoid JavaScript Source #
Instance details Defined in Network.JavaScript.Internal Methods mempty :: JavaScript # mappend :: JavaScript -> JavaScript -> JavaScript # mconcat :: [JavaScript] -> JavaScript #

Commands

class Command f Source #

Minimal complete definition

internalCommand, internalConstructor

Instances

Command RemoteMonad Source #
Instance details Defined in Network.JavaScript.Internal Methods internalCommand :: JavaScript -> RemoteMonad () Source # internalConstructor :: JavaScript -> RemoteMonad (RemoteValue a) Source #
Command Packet Source #
Instance details Defined in Network.JavaScript.Internal Methods internalCommand :: JavaScript -> Packet () Source # internalConstructor :: JavaScript -> Packet (RemoteValue a) Source #

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

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

Procedures

class Procedure f Source #

Minimal complete definition

internalProcedure

Instances

Procedure RemoteMonad Source #
Instance details Defined in Network.JavaScript.Internal Methods internalProcedure :: FromJSON a => JavaScript -> RemoteMonad a Source #
Procedure Packet Source #
Instance details Defined in Network.JavaScript.Internal Methods internalProcedure :: FromJSON a => JavaScript -> Packet a Source #

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

Primitives and (Remote) Values

data Primitive :: * -> * where Source #

Constructors

Command :: JavaScript -> Primitive ()
Procedure :: FromJSON a => JavaScript -> Primitive a
Constructor :: JavaScript -> Primitive (RemoteValue a)

newtype RemoteValue a Source #

Constructors

RemoteValue Int

Instances

Eq (RemoteValue a) Source #
Instance details Defined in Network.JavaScript.Internal Methods (==) :: RemoteValue a -> RemoteValue a -> Bool # (/=) :: RemoteValue a -> RemoteValue a -> Bool #
Ord (RemoteValue a) Source #
Instance details 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) Source #
Instance details Defined in Network.JavaScript.Internal Methods showsPrec :: Int -> RemoteValue a -> ShowS # show :: RemoteValue a -> String # showList :: [RemoteValue a] -> ShowS #
ToJSON (RemoteValue a) Source #
Instance details 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 Source #

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 Source #

The Remote Applicative Packet

Constructors

Packet (AF Primitive a)

Instances

Functor Packet Source #
Instance details Defined in Network.JavaScript.Internal Methods fmap :: (a -> b) -> Packet a -> Packet b # (<$) :: a -> Packet b -> Packet a #
Applicative Packet Source #
Instance details 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 Source #
Instance details Defined in Network.JavaScript.Internal Methods internalProcedure :: FromJSON a => JavaScript -> Packet a Source #
Command Packet Source #
Instance details Defined in Network.JavaScript.Internal Methods internalCommand :: JavaScript -> Packet () Source # internalConstructor :: JavaScript -> Packet (RemoteValue a) Source #

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

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) Source #
Instance details 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) Source #
Instance details 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 Source #

The Remote Monad

Constructors

RemoteMonad (M Primitive a)

Instances

Monad RemoteMonad Source #
Instance details 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 Source #
Instance details Defined in Network.JavaScript.Internal Methods fmap :: (a -> b) -> RemoteMonad a -> RemoteMonad b # (<$) :: a -> RemoteMonad b -> RemoteMonad a #
Applicative RemoteMonad Source #
Instance details 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 Source #
Instance details Defined in Network.JavaScript.Internal Methods internalProcedure :: FromJSON a => JavaScript -> RemoteMonad a Source #
Command RemoteMonad Source #
Instance details Defined in Network.JavaScript.Internal Methods internalCommand :: JavaScript -> RemoteMonad () Source # internalConstructor :: JavaScript -> RemoteMonad (RemoteValue a) Source #

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

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

Monads

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

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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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 Source #