Pinto.Types

data TerminateReason

Constructors

• Normal
• Shutdown
• ShutdownWithCustom Foreign
• Custom Foreign

data RegistryName serverType

The name of a registered process, these map to {local, Name} {global, GlobalName} {via, Module, ViaName} as per the docs for gen_server:start_link and similar

Constructors

• Local Atom
• Global Foreign
• Via NativeModuleName Foreign

type StartLinkResult serverProcess = Either (NotStartedReason serverProcess) serverProcess

data NotStartedReason serverProcess

Constructors

• Ignore
• AlreadyStarted serverProcess
• Failed Foreign

Instances

• Functor NotStartedReason
• (Show serverProcess) => Show (NotStartedReason serverProcess)

maybeStarted :: forall serverProcess. StartLinkResult serverProcess -> Maybe serverProcess

maybeRunning :: forall serverProcess. StartLinkResult serverProcess -> Maybe serverProcess

crashIfNotStarted :: forall serverProcess. StartLinkResult serverProcess -> serverProcess

crashIfNotRunning :: forall serverProcess. StartLinkResult serverProcess -> serverProcess

startLinkResultFromPs :: forall a. StartLinkResult a -> Foreign

registryInstance :: forall serverPid serverType. HasPid serverPid => RegistryReference serverPid serverType -> RegistryInstance serverPid serverType

Given a RegistryReference serverPid serverType

Create a RegistryInstance serverPid serverType that can be used to communicate with that process directly

data RegistryInstance t0 t1

data RegistryReference serverPid serverType

A means of looking up a typed process (such as a GenServer) that may or may not be registered

This is typically used by the APIs provided to gain access to the ability to invoke code within the context of a started server

GenServer.call (ByName serverName) \_from a...

Constructors

• ByPid serverPid
• ByName (RegistryName serverType)

data ExitMessage

Constructors

• Exit Pid Foreign

data ShutdownReason

Constructors

• ReasonNormal
• ReasonShutdown (Maybe Foreign)
• ReasonOther Foreign

parseShutdownReasonFFI :: Foreign -> ShutdownReason

parseTrappedExitFFI :: Foreign -> (Pid -> Foreign -> ExitMessage) -> Maybe ExitMessage

class ExportsTo a b  where

Members

• export :: a -> b