Module Response.CORE

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.