To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
include BasePlus with type 'a m = 'a list
include BatInterfaces.Monad with type 'a m = 'a list
val zero : unit -> '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. I have provided this so that streams can be implemented more efficiently.
include Monad with type 'a m := 'a m
include Applicative.Applicative with type 'a m := 'a m
val of_list : 'a list -> 'a m
Generalises matrix transposition. This will loop infinitely if
BasePlus.null cannot answer