package transept

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (_, _) t

Response abstract data type

val success : ('s * 'a * bool) -> ('s, 'a) t

Define successful response

val failure : ('s * bool) -> ('s, 'a) t

Define fazilure response

val fold : ('s, 'a) t -> (('s * 'a * bool) -> 'b) -> (('s * bool) -> 'b) -> 'b

Catamorphism dedicated to response data type.