package spotlib

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

spotlib
- Spotlib
  - At
  - Base
  - Command
    
    Ver1
  - Comopt
    
    Error
  - Copiedfilename
    
    Cygwin
    
    Unix
    
    Win32
  - Dllist
  - Exn
    
    Stdlib
  - File
    
    Test
  - Filepath
  - Freem
    
    EX
    
    Infix
    
    M1
    
    EX
    
    Infix
    
    S
    
    M2
    
    EX
    
    Infix
    
    S
    
    S
  - Hashset
    
    Make
  - IntRange
  - Monad
    
    Make
    
    EX
    
    Infix
    
    M
    
    S
    
    Make1
    
    EX
    
    Infix
    
    M
    
    S
    
    Make2
    
    EX
    
    Infix
    
    M
    
    S
  - Monad_intf
    
    EX1
    
    EX2
    
    Infix1
    
    Infix2
    
    S1
    
    S2
    
    T1
    
    EX
    
    Infix
    
    S
    
    T2
    
    EX
    
    Infix
    
    S
  - Mtypes
    
    Comparable
    
    Infix
    
    Make_comparable
    
    A
    
    Infix
    
    Printable
  - Once
  - Option
    
    Infix
    
    Stdlib
  - Overload
    
    Float
    
    Int
  - PTest
  - Poly_result
    
    Infix
    
    Stdlib
  - Shell
  - Spot
    
    Array
    
    Bytes
    
    Filename
    
    Format
    
    Gc
    
    Hashtbl
    
    HashedType
    
    S
    
    SeededHashedType
    
    SeededS
    
    Int64
    
    IntSet
    
    Lazy
    
    Lexing
    
    List
    
    Obj
    
    Printexc
    
    Printf
    
    String
    
    StringSet
    
    Sys
    
    Unix
  - SpotStream
    
    EX
    
    Infix
    
    S
  - Temporal
    
    Date
    
    Infix
    
    Datetime
    
    TZone
    
    Time
    
    Weekday
    
    Year
  - Temporal_lexer
  - Tuple
    
    Stdlib
  - URL
  - UniqueID
  - Vresult
    
    Infix
    
    Stdlib
  - Weaktbl
    
    Bucket
    
    Make
    
    O
    
    Poly
  - Xarray
  - Xbytes
    
    Set
    
    Stdlib
  - Xfilename
    
    Stdlib
  - Xformat
  - Xgc
  - Xhashtbl
  - Xint64
  - Xlazy
    
    EX
    
    Infix
    
    S
  - Xlexing
  - Xlist
    
    Infix
    
    Stdlib
  - Xobj
  - Xprintexc
  - Xprintf
  - Xset
    
    Make
    
    S
  - Xstring
    
    Set
    
    Stdlib
  - Xsys
  - Xunix
    
    CommandDeprecated
    
    Find
    
    path
    
    Process_times
    
    Stdlib

Legend:
Library
Module
Module type
Parameter
Class
Class type

Build a full Monad interface of data type with 2 parameters, T2, from the minimum specification of S2. Note that it only builds functions. The type is not exported.

Parameters

module M : S2

Signature

include Monad_intf.S2 with type ('a, 'z) t := ('a, 'z) M.t

val return : 'a -> ('a, 'z) M.t

val bind : ('a, 'z) M.t -> ('a -> ('b, 'z) M.t) -> ('b, 'z) M.t

include Monad_intf.EX2 with type ('a, 'z) t := ('a, 'z) M.t

val fmap : ('a -> 'b) -> ('a, 'z) M.t -> ('b, 'z) M.t

fmap in Haskell

val liftM : ('a -> 'b) -> ('a, 'z) M.t -> ('b, 'z) M.t

Synonym of fmap

val fmap2 : ('a -> 'b -> 'c) -> ('a, 'z) M.t -> ('b, 'z) M.t -> ('c, 'z) M.t

fmap2 in Haskell

val liftM2 : ('a -> 'b -> 'c) -> ('a, 'z) M.t -> ('b, 'z) M.t -> ('c, 'z) M.t

synonym of fmap2 in Haskell

val void : ('a, 'z) M.t -> (unit, 'z) M.t

val seq : ('a, 'z) M.t list -> ('a list, 'z) M.t

sequence in Haskell. Not tail recursive.

val seq_ : (unit, 'z) M.t list -> (unit, 'z) M.t

sequence_ in Haskell. Not tail recursive.

val mapM : ('a -> ('b, 'z) M.t) -> 'a list -> ('b list, 'z) M.t

Not tail recursive

val mapM_ : ('a -> (unit, 'z) M.t) -> 'a list -> (unit, 'z) M.t

Not tail recursive

val iteri : (int -> 'a -> (unit, 'z) M.t) -> 'a list -> (unit, 'z) M.t

Iteration with index starting from 0. Not tail recursive.

val for_ : int -> int -> (int -> (unit, 'z) M.t) -> (unit, 'z) M.t

for like iteration. Not tail recursive

val join : (('a, 'z) M.t, 'z) M.t -> ('a, 'z) M.t

include Monad_intf.Infix2 with type ('a, 'z) t := ('a, 'z) M.t

val (>>=) : ('a, 'z) M.t -> ('a -> ('b, 'z) M.t) -> ('b, 'z) M.t

synonym of bind

val (>>|) : ('a, 'z) M.t -> ('a -> 'b) -> ('b, 'z) M.t

synonum of fmap, with the flipped arguments

Applicative style binops

val (^<$>) : ('a -> 'b) -> ('a, 'z) M.t -> ('b, 'z) M.t

same as map, <$> in Haskell

val (/<*>) : ('a -> 'b, 'z) M.t -> ('a, 'z) M.t -> ('b, 'z) M.t

<*> in Haskell

module S : Monad_intf.S2 with type ('a, 'z) t := ('a, 'z) M.t

module EX : Monad_intf.EX2 with type ('a, 'z) t := ('a, 'z) M.t

module Infix : Monad_intf.Infix2 with type ('a, 'z) t := ('a, 'z) M.t