Module

Test.Serialization.Types

Package: purescript-haskell-iso
Repository: athanclark/purescript-haskell-iso

#TestTopic Source

newtype TestTopic

Constructors

TestTopic String

Instances

#MsgType Source

data MsgType

Constructors

Instances

#arbitraryJson Source

arbitraryJson :: Gen Json

#ClientToServer Source

data ClientToServer

Constructors

Instances

#ServerToClient Source

data ServerToClient

Constructors

Instances

#TestTopicState Source

newtype TestTopicState a

Constructors

TestTopicState { clientD :: Ref (Maybe a), clientDSent :: Ref (Maybe Buffer), clientG :: Ref (Maybe a), clientGSent :: Ref (Maybe Buffer), clientS :: Ref (Maybe Json), clientSSent :: Ref (Maybe Buffer), deserialize :: Json -> Either String a, eq :: a -> a -> Boolean, generate :: Gen a, serialize :: a -> Json, serverD :: Ref (Maybe a), serverDReceived :: Ref (Maybe Buffer), serverG :: Ref (Maybe a), serverGReceived :: Ref (Maybe Buffer), serverS :: Ref (Maybe Json), serverSReceived :: Ref (Maybe Buffer), size :: Ref Int }

#emptyTestTopicState Source

emptyTestTopicState :: forall a. Arbitrary a => EncodeJson a => DecodeJson a => Eq a => Proxy a -> Effect (Exists TestTopicState)

#TestSuiteState Source

type TestSuiteState = Ref (Map TestTopic (Exists TestTopicState))

#emptyTestSuiteState Source

emptyTestSuiteState :: Effect TestSuiteState

#TestSuiteM Source

type TestSuiteM a = ReaderT TestSuiteState Effect a

#registerTopic Source

registerTopic :: forall a. Arbitrary a => EncodeJson a => DecodeJson a => Eq a => TestTopic -> Proxy a -> TestSuiteM Unit

#IsOkay Source

class IsOkay a  where

Members

isOkay :: a -> Boolean

Instances

IsOkay JSONUnit
(IsOkay a) => IsOkay (HasTopic a)
(IsOkay a) => IsOkay (GenValue a)
(IsOkay a) => IsOkay (GotClientGenValue a)
(IsOkay a) => IsOkay (HasClientG a)
(IsOkay a) => IsOkay (HasServerG a)
(IsOkay a) => IsOkay (HasServerS a)
(IsOkay a) => IsOkay (HasServerD a)
(IsOkay a) => IsOkay (HasClientD a)
(IsOkay a) => IsOkay (DesValue a)
(IsOkay a) => IsOkay (HasClientS a)
(IsOkay a) => IsOkay (ServerSerializedMatch a)
(IsOkay a) => IsOkay (ServerDeSerializedMatch a)
(IsOkay a) => IsOkay (ClientSerializedMatch a)
(IsOkay a) => IsOkay (ClientDeSerializedMatch a)

#HasTopic Source

data HasTopic a

Constructors

HasTopic a
NoTopic

Instances

(Generic a rep) => Generic (HasTopic a) _
(Show a, Generic a rep) => Show (HasTopic a)
(IsOkay a) => IsOkay (HasTopic a)

#GenValue Source

data GenValue a

Constructors

DoneGenerating
GenValue a

Instances

(Generic a rep) => Generic (GenValue a) _
(Show a, Generic a rep) => Show (GenValue a)
(IsOkay a) => IsOkay (GenValue a)

#GotClientGenValue Source

data GotClientGenValue a

Constructors

NoClientGenValue
GotClientGenValue a

Instances

(Generic a rep) => Generic (GotClientGenValue a) _
(Show a, Generic a rep) => Show (GotClientGenValue a)
(IsOkay a) => IsOkay (GotClientGenValue a)

#HasClientG Source

data HasClientG a

Constructors

NoClientG
HasClientG a

Instances

(Generic a rep) => Generic (HasClientG a) _
(Show a, Generic a rep) => Show (HasClientG a)
(IsOkay a) => IsOkay (HasClientG a)

#HasServerG Source

data HasServerG a

Constructors

NoServerG
HasServerG a

Instances

(Generic a rep) => Generic (HasServerG a) _
(Show a, Generic a rep) => Show (HasServerG a)
(IsOkay a) => IsOkay (HasServerG a)

#HasServerS Source

data HasServerS a

Constructors

NoServerS
HasServerS a

Instances

(Generic a rep) => Generic (HasServerS a) _
(Show a, Generic a rep) => Show (HasServerS a)
(IsOkay a) => IsOkay (HasServerS a)

#HasServerD Source

data HasServerD a

Constructors

NoServerD
HasServerD a

Instances

(Generic a rep) => Generic (HasServerD a) _
(Show a, Generic a rep) => Show (HasServerD a)
(IsOkay a) => IsOkay (HasServerD a)

#HasClientD Source

data HasClientD a

Constructors

NoClientD
HasClientD a

Instances

(Generic a rep) => Generic (HasClientD a) _
(Show a, Generic a rep) => Show (HasClientD a)
(IsOkay a) => IsOkay (HasClientD a)

#DesValue Source

data DesValue a

Constructors

CantDes String
DesValue a

Instances

(Generic a rep) => Generic (DesValue a) _
(Show a, Generic a rep) => Show (DesValue a)
(IsOkay a) => IsOkay (DesValue a)

#HasClientS Source

data HasClientS a

Constructors

NoClientS
HasClientS a

Instances

(Generic a rep) => Generic (HasClientS a) _
(Show a, Generic a rep) => Show (HasClientS a)
(IsOkay a) => IsOkay (HasClientS a)

#JsonDiffBuffer Source

data JsonDiffBuffer

Constructors

DiffBuffers Buffer Buffer
DiffBuffers' (Array Int) (Array Int)
DiffArrays (Array ShowableJson) (Array ShowableJson)
DiffObjectFields (Tuple String String) (Maybe JsonDiffBuffer)
DiffObjects (Array (Tuple String ShowableJson)) (Array (Tuple String ShowableJson))

Instances

Generic JsonDiffBuffer _
Show JsonDiffBuffer

#diffJson Source

diffJson :: Json -> Json -> Maybe JsonDiffBuffer

#ShowableJson Source

newtype ShowableJson

Constructors

ShowableJson Json

Instances

#ServerSerializedMatch Source

data ServerSerializedMatch a

Constructors

ServerSerializedMatch a
ServerSerializedMismatch { clientS :: ShowableJson, clientSSent :: Buffer, diff :: JsonDiffBuffer, serverG :: ShowableJson, serverGReceived :: Buffer }

Instances

(Generic a rep) => Generic (ServerSerializedMatch a) _
(Show a, Generic a rep) => Show (ServerSerializedMatch a)
(IsOkay a) => IsOkay (ServerSerializedMatch a)

#ServerDeSerializedMatch Source

data ServerDeSerializedMatch a

Constructors

ServerDeSerializedMatch a
ServerDeSerializedMismatch { clientS :: ShowableJson, clientSSent :: Buffer, serverD :: ShowableJson, serverDReceived :: Buffer }

Instances

(Generic a rep) => Generic (ServerDeSerializedMatch a) _
(Show a, Generic a rep) => Show (ServerDeSerializedMatch a)
(IsOkay a) => IsOkay (ServerDeSerializedMatch a)

#ClientSerializedMatch Source

data ClientSerializedMatch a

Constructors

ClientSerializedMatch a
ClientSerializedMismatch { clientG :: ShowableJson, clientGSent :: Buffer, diff :: JsonDiffBuffer, serverS :: ShowableJson, serverSReceived :: Buffer }

Instances

(Generic a rep) => Generic (ClientSerializedMatch a) _
(Show a, Generic a rep) => Show (ClientSerializedMatch a)
(IsOkay a) => IsOkay (ClientSerializedMatch a)

#ClientDeSerializedMatch Source

data ClientDeSerializedMatch a

Constructors

ClientDeSerializedMatch a
ClientDeSerializedMismatch { clientD :: ShowableJson, clientDSent :: Buffer, serverS :: ShowableJson, serverSReceived :: Buffer }

Instances

(Generic a rep) => Generic (ClientDeSerializedMatch a) _
(Show a, Generic a rep) => Show (ClientDeSerializedMatch a)
(IsOkay a) => IsOkay (ClientDeSerializedMatch a)

#getTopicState Source

getTopicState :: TestSuiteState -> TestTopic -> Effect (HasTopic (Exists TestTopicState))

#generateValue Source

generateValue :: Exists TestTopicState -> TestTopic -> Int -> Effect (GenValue ClientToServer)

#gotServerGenValue Source

gotServerGenValue :: Exists TestTopicState -> Json -> Effect (DesValue JSONUnit)

#serializeValueServerOrigin Source

serializeValueServerOrigin :: Exists TestTopicState -> TestTopic -> Effect (HasServerG ClientToServer)

#gotServerSerialize Source

gotServerSerialize :: Exists TestTopicState -> Json -> Effect JSONUnit

#deserializeValueServerOrigin Source

deserializeValueServerOrigin :: Exists TestTopicState -> TestTopic -> Effect (HasServerS (DesValue ClientToServer))

#gotServerDeSerialize Source

gotServerDeSerialize :: Exists TestTopicState -> Json -> Effect (DesValue JSONUnit)

#verify Source

verify :: Exists TestTopicState -> Effect (HasClientG (HasServerS (ClientSerializedMatch (HasClientD (DesValue (ClientDeSerializedMatch (HasServerG (HasClientS (ServerSerializedMatch (HasServerD (DesValue (ServerDeSerializedMatch JSONUnit))))))))))))

#toHexString Source

toHexString :: Buffer -> String

#toUtf8String Source

toUtf8String :: Buffer -> String

#fromHexString Source

fromHexString :: String -> Buffer

#fromUtf8String Source

fromUtf8String :: String -> Buffer

Modules: Data.Argonaut.JSONDate; Data.Argonaut.JSONDateTime; Data.Argonaut.JSONEither; Data.Argonaut.JSONEmailAddress; Data.Argonaut.JSONInt; Data.Argonaut.JSONInteger; Data.Argonaut.JSONScientific; Data.Argonaut.JSONString; Data.Argonaut.JSONTuple; Data.Argonaut.JSONUnit; Data.Argonaut.JSONVoid; Test.Serialization; Test.Serialization.Types