japesinator / idris-profunctors Goto Github PK

Type checking ./Data/Profunctor.idr
./Data/Profunctor.idr:40:27-51:
   |
40 |   dimap f g (Kleisli h) = Kleisli $ liftA g . h . f
   |                           ~~~~~~~~~~~~~~~~~~~~~~~~~
Can't infer explicit argument to (.)

./Data/Profunctor.idr:95:30-55:
   |
95 |   dimap ab cd (UpStar bfc) = UpStar $ map cd . bfc . ab
   |                              ~~~~~~~~~~~~~~~~~~~~~~~~~~
Can't infer explicit argument to (.)

./Data/Profunctor.idr:98:9-12:
   |
98 |   map = rmap
   |         ~~~~
When checking right hand side of Prelude.Functor.Data.Profunctor.UpStarred f a implementation of Prelude.Functor.Functor, method map with expected type
        (a1 -> b) -> UpStarred f a a1 -> UpStarred f a b

Can't find implementation for Profunctor (UpStarred f)

./Data/Profunctor.idr:100:16-59:
    |
100 | implementation Applicative f => Applicative (UpStarred f a) where
    |                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
When checking right hand side of Data.Profunctor.UpStarred f a implementation of Prelude.Applicative.Applicative with expected type
        Applicative (UpStarred f a)

Can't find implementation for Functor (UpStarred f a)

./Data/Profunctor.idr:104:16-47:
    |
104 | implementation Monad f => Monad (UpStarred f a) where
    |                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
When checking right hand side of Data.Profunctor.UpStarred f a implementation of Prelude.Monad.Monad with expected type
        Monad (UpStarred f a)

Can't find implementation for Applicative (UpStarred f a)

./Data/Profunctor.idr:213:16-52:
    |
213 | implementation Monad m => Strong (Kleislimorphism m) where
    |                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
When checking right hand side of Data.Profunctor.Kleislimorphism m implementation of Data.Profunctor.Strong with expected type
        Strong (Kleislimorphism m)

Can't find implementation for Profunctor (Kleislimorphism m)

./Data/Profunctor.idr:221:16-48:
    |
221 | implementation Functor m => Strong (UpStarred m) where
    |                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
When checking right hand side of Data.Profunctor.UpStarred m implementation of Data.Profunctor.Strong with expected type
        Strong (UpStarred m)

Can't find implementation for Profunctor (UpStarred m)

./Data/Profunctor.idr:257:16-52:
    |
257 | implementation Monad m => Choice (Kleislimorphism m) where
    |                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
When checking right hand side of Data.Profunctor.Kleislimorphism m implementation of Data.Profunctor.Choice with expected type
        Choice (Kleislimorphism m)

Can't find implementation for Profunctor (Kleislimorphism m)

./Data/Profunctor.idr:271:16-52:
    |
271 | implementation Applicative f => Choice (UpStarred f) where
    |                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
When checking right hand side of Data.Profunctor.UpStarred f implementation of Data.Profunctor.Choice with expected type
        Choice (UpStarred f)

Can't find implementation for Profunctor (UpStarred f)