Merge pull request #9 from rightfold/master

Use newtype where possible

Author: garyb

src/Data/Bifunctor/Clown.purs

@@ -10,7 +10,7 @@ import Data.Bifunctor (class Bifunctor)
 import Data.Functor (class Functor, map)
 
 -- | Make a `Functor` over the first argument of a `Bifunctor`
-data Clown f a b = Clown (f a)
+newtype Clown f a b = Clown (f a)
 
 -- | Remove the `Clown` constructor.
 runClown :: forall f a b. Clown f a b -> f a

src/Data/Bifunctor/Flip.purs

@@ -8,7 +8,7 @@ import Data.Bifunctor (class Bifunctor, bimap, lmap)
 import Data.Functor (class Functor)
 
 -- | Flips the order of the type arguments of a `Bifunctor`.
-data Flip p a b = Flip (p b a)
+newtype Flip p a b = Flip (p b a)
 
 -- | Remove the `Flip` constructor.
 runFlip :: forall p a b. Flip p a b -> p b a

src/Data/Bifunctor/Join.purs

@@ -10,7 +10,7 @@ import Data.Bifunctor (class Bifunctor, bimap)
 import Data.Functor (class Functor, (<$>))
 
 -- | Turns a `Bifunctor` into a `Functor` by equating the two type arguments.
-data Join p a = Join (p a a)
+newtype Join p a = Join (p a a)
 
 -- | Remove the `Join` constructor.
 runJoin :: forall p a. Join p a -> p a a

src/Data/Bifunctor/Joker.purs

@@ -10,7 +10,7 @@ import Data.Bifunctor (class Bifunctor)
 import Data.Functor (class Functor, map)
 
 -- | Make a `Functor` over the second argument of a `Bifunctor`
-data Joker g a b = Joker (g b)
+newtype Joker g a b = Joker (g b)
 
 -- | Remove the `Joker` constructor.
 runJoker :: forall g a b. Joker g a b -> g b

src/Data/Bifunctor/Wrap.purs

@@ -8,7 +8,7 @@ import Data.Bifunctor (class Bifunctor, bimap, rmap)
 import Data.Functor (class Functor)
 
 -- | Provides a `Functor` over the second argument of a `Bifunctor`.
-data Wrap p a b = Wrap (p a b)
+newtype Wrap p a b = Wrap (p a b)
 
 -- | Remove the `Wrap` constructor.
 unwrap :: forall p a b. Wrap p a b -> p a b