preface

An opinionated library for function programming (à La Haskell)
IN THIS PACKAGE
type ('a, 'b) t

The type held by the Choice Profunctor.

val dimap : ( 'a -> 'b ) -> ( 'c -> 'd ) -> ( 'b, 'c ) t -> ( 'a, 'd ) t
val left : ( 'a, 'b ) t -> ( ( 'a, 'c ) Preface_core.Shims.Either.t, ( 'b, 'c ) Preface_core.Shims.Either.t ) t

Act on the left parameter of the sum.