Pinto.Types

data ServerName state msg

Defines the server name for a gen server, along with the 'state' that the gen server will be using internally and the 'msg' type that will be received in the handleInfo calls this will be supplied to every call to the gen server API in order to enforce type safety across calls

Constructors

• Local Atom
• Global GlobalName
• Via NativeModuleName Foreign

data GlobalName :: Type

type SupervisorName = ServerName Unit Unit

data StartLinkResult

The result of invoking gen_server:start_link

Constructors

• Ok Pid
• Ignore
• AlreadyStarted Pid
• Failed Foreign

Instances

• StartOk StartLinkResult

data StartChildResult

The result of invoking gen_server:start_link

Constructors

• ChildStarted Pid
• ChildStartedWithInfo Pid Foreign
• ChildAlreadyStarted Pid
• ChildAlreadyPresent
• ChildFailed Foreign

Instances

• StartOk StartChildResult

data ChildTemplate args

The type used to link startSimpleChild and startTemplate together

Constructors

• ChildTemplate (args -> Effect StartLinkResult)

data TerminateReason

Constructors

• Normal
• Shutdown
• ShutdownWithCustom Foreign
• Custom Foreign

class StartOk a  where

Members

• startOk :: a -> Maybe Pid
• startOkAS :: a -> Maybe Pid

Instances

• StartOk StartLinkResult
• StartOk StartChildResult