Fay.FFI

The internal FFI module.

Documentation

data Fay a

The JavaScript FFI interfacing monad.

Instances

Monad Fay

Methods

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

(>>) :: Fay a -> Fay b -> Fay b

return :: a -> Fay a

fail :: String -> Fay a

Functor Fay

Methods

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

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

Applicative Fay

Methods

pure :: a -> Fay a

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

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

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

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

data Nullable a

Values that may be null Nullable x decodes to x, Null decodes to null.

Constructors

Nullable a

Null

data Defined a

Values that may be undefined Defined x encodes to x, Undefined decodes to undefined. An undefined property in a record will be removed when encoding.

Constructors

Defined a

Undefined

type Ptr a = a

Do not serialize the specified type. This is useful for, e.g.

foo :: String -> String
foo = ffi "%1"

This would normally serialize and unserialize the string, for no reason, in this case. Instead:

foo :: Ptr String -> Ptr String

Will just give an identity function.

type Automatic a = a

The opposite of Ptr. Serialize the specified polymorphic type.

foo :: Automatic a -> String

ffi

Arguments

:: IsString s

=> s

The foreign value.

-> a

Bottom.

Declare a foreign action.