package monadlib

  1. Overview
  2. Docs

Module TagTree.Make

Parameters

module Tag : sig ... end

Signature

type tag = Tag.t
include Monad.BaseCollectionM with type 'a m = (Tag.t, 'a LazyList.t) node
include Monad.BaseLazyPlus with type 'a m = (Tag.t, 'a LazyList.t) node
include BatInterfaces.Monad with type 'a m = (Tag.t, 'a LazyList.t) node
type 'a m = (Tag.t, 'a LazyList.t) node
val bind : 'a m -> ('a -> 'b m) -> 'b m
val zero : unit -> 'a m
val lplus : 'a m -> 'a m Lazy.t -> 'a m
val null : 'a m -> bool

null x implies that x is zero. If you do not want to or cannot answer whether a given x is zero, then null x should be false.

val difference : ('a -> 'a -> bool) -> 'a m -> 'a m -> 'a m
val unique : ('a -> 'a -> bool) -> 'a m -> 'a m
val maxima : ('a -> 'a -> bool) -> 'a m -> 'a m
val nub : ('a -> 'a -> bool) -> 'a m -> 'a m
include Applicative.Base with type 'a m := 'a m
val return : 'a -> 'a m
val ap : ('a -> 'b) m -> 'a m -> 'b m
val count : 'a m -> int
val to_list : 'a m -> 'a LazyList.t
val collapse : 'a m -> 'a m
val with_tags : 'a m -> (tag list * 'a) m
val branch : tag LazyList.t -> tag m
val print : ('a -> unit) -> 'a m -> unit
val to_forced : 'a m -> 'a m