package OCanren

You can search for identifiers within the package.

in-package search v0.2.0

Implementation of miniKanren relational (logic) EDSL

Install

sha256=eaf9624bbdbae8050eb43a48c0e79e97160b83b6f65a543ee1beca4c9f4ff4b2

sha512=e55dd7a3026b1dedcd37f55181059dfa44ad6976d241a1199246ee3c1684dcfdf1ae0c1da32165b5b2eb5748cfc57c906a0f0ebab56d03035a5bb87187a63cf7

type nonrec 'a t = t -> 'a

val return : 'a -> 'a t

val fmap : ('a -> 'b) -> 'a t -> 'b t

val bind : 'a t -> ('a -> 'b t) -> 'b t

val (<*>) : ('a -> 'b) t -> 'a t -> 'b t

val chain : ('a t -> 'b t) -> ('a -> 'b) t

val (<..>) : ('a -> 'b) t -> ('b -> 'c) t -> ('a -> 'c) t

val list_mapm : f:('a t -> 'b t) -> 'a list -> 'b list t

module Syntax : sig ... end