package preface

A Free monad allows you to build a Preface_specs.Monad from a given Preface_specs.Functor.

Such Preface_specs.Monad is equiped with two additional functions: one dedicated to the creation of a new data and another one for the effect handling.

Note about complexity

Although free constructs are elegant, they introduce an execution cost due to the recursive nature of defining the type of a Free Monad. There are cheaper encodings like Preface_specs.Freer_monad, which removes the requirement for the Free monad parameter to be a Preface_specs.Functor and therefore does not increase its complexity.

Structure anatomy

Complete API