Module Preface_make.Choice

Building a Preface_specs.Choice

Using the minimal definition

Using dimap and left

Build a Preface_specs.CHOICE using Preface_specs.Choice.WITH_DIMAP_AND_LEFT.

Standard method, using the minimal definition of an alt to derive its full API.

Using dimap and right

Build a Preface_specs.CHOICE using Preface_specs.Choice.WITH_DIMAP_AND_RIGHT.

Standard method, using the minimal definition of an alt to derive its full API.

Using contramap_fst, map_snd and left

Build a Preface_specs.CHOICE using Preface_specs.Choice.WITH_CONTRAMAP_FST_AND_MAP_SND_AND_LEFT.

Standard method, using the minimal definition of an alt to derive its full API.

Using contramap_fst, map_snd and right

Build a Preface_specs.CHOICE using Preface_specs.Choice.WITH_CONTRAMAP_FST_AND_MAP_SND_AND_RIGHT.

Standard method, using the minimal definition of an alt to derive its full API.

Using left over a Profunctor

Build a Preface_specs.CHOICE over a Preface_specs.PROFUNCTOR using Preface_specs.Choice.WITH_LEFT.

Standard method, using the minimal definition of an alt to derive its full API.

module Over_profunctor_via_left (P : Preface_specs.Profunctor.CORE) (L : Preface_specs.Choice.WITH_LEFT with type ('a, 'b) t = ('a, 'b) P.t) : Preface_specs.CHOICE with type ('a, 'b) t = ('a, 'b) L.t

Using right over a Profunctor

Build a Preface_specs.CHOICE over a Preface_specs.PROFUNCTOR using Preface_specs.Choice.WITH_RIGHT.

Standard method, using the minimal definition of an alt to derive its full API.

module Over_profunctor_via_right (P : Preface_specs.Profunctor.CORE) (R : Preface_specs.Choice.WITH_RIGHT with type ('a, 'b) t = ('a, 'b) P.t) : Preface_specs.CHOICE with type ('a, 'b) t = ('a, 'b) R.t

Choice Algebra

Construction of Preface_specs.CHOICE by combining them.

Composition

Right-to-left composition of Preface_specs.CHOICE.

From other abstraction

From an Applicative

Produces a Preface_specs.CHOICE from a Preface_specs.APPLICATIVE.