package spotlib

  1. Overview
  2. Docs
include Monad.Infix with type 'a t := 'a list
val (>>=) : 'a list -> ('a -> 'b list) -> 'b list

synonym of bind

val (>>|) : 'a list -> ('a -> 'b) -> 'b list

synonum of fmap, with the flipped arguments

val (>|=) : 'a list -> ('a -> 'b) -> 'b list

synonum of fmap, with the flipped arguments

Applicative style binops

val (^<$>) : ('a -> 'b) -> 'a list -> 'b list

same as map, <$> in Haskell

val (/<*>) : ('a -> 'b) list -> 'a list -> 'b list

<*> in Haskell

val (--) : int -> int -> int list

same as from_to. [f--t = [f..t]]

val (+::=) : 'a list ref -> 'a -> unit

Same as accum