Up – Package index » carton » Library carton » Carton » Dec » Idx » M » IO

Parameter `M.IO`

carton
- CHANGES
- CHANGES.carton
- CHANGES.mimic
- LICENSE
- README
- Library carton
  - Carton
    - FUNCTOR
    - SCHEDULER
    - MUTEX
    - CONDITION
    - IO
    - Make
    - UID
    - Dec
      - W
      - Idx
        UID
        N
        Device
        M
      - Fp
      - Verify
      - Ip
    - Enc
- Library carton.thin
  - Thin
- Sources

type +'a t

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

val return : 'a -> 'a t