package preface

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Building a Preface_specs.Freer_monad

Using the minimal definition

Build a Preface_specs.FREER_MONAD over an arbitrary type with one type parameter ( Preface_specs.Types.T1).