From 07734cb3c4df51d8b51704a0febd56a6da16a3d8 Mon Sep 17 00:00:00 2001 From: telser Date: Tue, 16 Feb 2016 21:48:42 -0500 Subject: [PATCH] Fix warnings generated by purescript-0.8.0 --- src/Data/Inject.purs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/Data/Inject.purs b/src/Data/Inject.purs index fa405bc..fb044c1 100644 --- a/src/Data/Inject.purs +++ b/src/Data/Inject.purs @@ -2,11 +2,11 @@ -- | when working with coproducts of functors. module Data.Inject - ( Inject + ( class Inject , inj, prj ) where -import Prelude +import Prelude (const, (<<<), id) import Data.Either (Either(..)) import Data.Functor.Coproduct (Coproduct(..), coproduct) @@ -16,15 +16,15 @@ import Data.Maybe (Maybe(..)) -- | -- | Specifically, an instance `Inject f g` indicates that `g` is isomorphic to -- | a coproduct of `f` and some third functor. --- | +-- | -- | Laws: --- | +-- | -- | - `prj g = Just f` if and only if `inj f = g` class Inject f g where inj :: forall a. f a -> g a prj :: forall a. g a -> Maybe (f a) --- | Any functor is isomorphic to the coproduct of itself with the +-- | Any functor is isomorphic to the coproduct of itself with the -- | constantly-`Void` functor. instance injectReflexive :: Inject f f where inj = id