package preface

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Indexed_selective.Select_from_monad`

module Monad : Preface_specs.Indexed_monad.CORE

type ('a, 'index) t = ('a, 'index) Monad.t

The type held by the Indexed Selective.

val select : 
  (('a, 'b) Either.t, 'index) t ->
  ('a -> 'b, 'index) t ->
  ('b, 'index) t

select e f apply f if e is Left. It allow to skip effect using Right.