Octane.Type.State

Documentation

data State

The state of an actor in a replication.

Constructors

SOpening

This is a new actor that we have not seen before.

SExisting

We have seen this actor before.

SClosing

This actor is going away.

Instances

Eq State

Methods

(==) :: State -> State -> Bool

(/=) :: State -> State -> Bool

Show State

Methods

showsPrec :: Int -> State -> ShowS

show :: State -> String

showList :: [State] -> ShowS

Generic State

Associated Types

type Rep State :: * -> *

Methods

from :: State -> Rep State x

to :: Rep State x -> State

NFData State

Methods

rnf :: State -> ()

type Rep State

type Rep State = D1 (MetaData "State" "Octane.Type.State" "octane-0.13.4-DJqUOnYo1oADH9HuNkv3YY" False) ((:+:) (C1 (MetaCons "SOpening" PrefixI False) U1) ((:+:) (C1 (MetaCons "SExisting" PrefixI False) U1) (C1 (MetaCons "SClosing" PrefixI False) U1)))