Permalink
Browse files

whitespace

  • Loading branch information...
1 parent a61de65 commit 8dc051d284f8e575685443a4f29b92a86049db76 @ekmett committed Apr 23, 2012
Showing with 12 additions and 12 deletions.
  1. +6 −6 Data/Profunctor/Corepresentable.hs
  2. +6 −6 Data/Profunctor/Representable.hs
@@ -1,6 +1,6 @@
{-# LANGUAGE TypeFamilies, FlexibleContexts, UndecidableInstances #-}
-module Data.Profunctor.Corepresentable
- ( CorepresentableProfunctor(..)
+module Data.Profunctor.Corepresentable
+ ( CorepresentableProfunctor(..)
) where
import Data.Functor
@@ -13,17 +13,17 @@ import Data.Functor.Compose
class (Profunctor k, Functor (Corep k)) => CorepresentableProfunctor k where
type Corep k :: * -> *
cotabulatePro :: (d -> Corep k c) -> k d c
- coindexPro :: k d c -> d -> Corep k c
-
+ coindexPro :: k d c -> d -> Corep k c
+
instance CorepresentableProfunctor (->) where
type Corep (->) = Identity
cotabulatePro f = runIdentity . f
- coindexPro f = Identity . f
+ coindexPro f = Identity . f
instance (Monad m, Functor m) => CorepresentableProfunctor (Kleisli m) where
type Corep (Kleisli m) = m
cotabulatePro = Kleisli
- coindexPro = runKleisli
+ coindexPro = runKleisli
instance Functor f => CorepresentableProfunctor (UpStar f) where
type Corep (UpStar f) = f
@@ -1,6 +1,6 @@
{-# LANGUAGE TypeFamilies, FlexibleContexts, UndecidableInstances #-}
-module Data.Profunctor.Representable
- ( RepresentableProfunctor(..)
+module Data.Profunctor.Representable
+ ( RepresentableProfunctor(..)
) where
import Data.Functor
@@ -13,17 +13,17 @@ import Control.Comonad
class (Profunctor k, Functor (Rep k)) => RepresentableProfunctor k where
type Rep k :: * -> *
tabulatePro :: (Rep k d -> c) -> k d c
- indexPro :: k d c -> Rep k d -> c
-
+ indexPro :: k d c -> Rep k d -> c
+
instance RepresentableProfunctor (->) where
type Rep (->) = Identity
tabulatePro f = f . Identity
indexPro f (Identity d) = f d
instance Functor w => RepresentableProfunctor (Cokleisli w) where
- type Rep (Cokleisli w) = w
+ type Rep (Cokleisli w) = w
tabulatePro = Cokleisli
- indexPro = runCokleisli
+ indexPro = runCokleisli
instance Functor f => RepresentableProfunctor (DownStar f) where
type Rep (DownStar f) = f

0 comments on commit 8dc051d

Please sign in to comment.