Module

Erl.Cowboy.Handlers.Loop

Types and handlers for a cowboy_loop loop handler callback module.

data InitResult :: Type -> Type

type InitHandler c s = EffectFn2 Req c (InitResult s)

initResult :: forall a. a -> Req -> InitResult a

hibernate :: forall a. a -> Req -> InitResult a

data InfoResult :: Type -> Type

type InfoHandler a s = EffectFn3 a Req s (InfoResult s)

continue :: forall a. a -> Req -> InfoResult a

ok response

continueHibernate :: forall a. a -> Req -> InfoResult a

ok, hibernate response

stop :: forall a. a -> Req -> InfoResult a

stop response

type TerminateHandler s = EffectFn3 TerminateReason Req s TerminateResult

type CowboyLoopBehaviour = Behaviour "cowboy_loop"

cowboyLoopBehaviour :: forall a s. { info :: InfoHandler a s, init :: InitHandler a s } -> CowboyLoopBehaviour

A cowboy_loop behaviour. A terminate callback is optional.

Re-exports from Erl.Cowboy.Handlers.Common

data TerminateResult :: Type

data TerminateReason

Reason for a crash. The Reason :: any() is currently discarded

data RawReason :: Type

data CrashType

terminateResult :: TerminateResult

decodeReason :: RawReason -> TerminateReason

Modules: Attribute; Cowboy.Static; Erl.Cowboy; Erl.Cowboy.Handler; Erl.Cowboy.Handlers.Common; Erl.Cowboy.Handlers.Loop; Erl.Cowboy.Handlers.Rest; Erl.Cowboy.Handlers.Simple; Erl.Cowboy.Handlers.WebSocket; Erl.Cowboy.Req; Erl.Cowboy.Req.Monad; Erl.Cowboy.Routes