Skip to content

Commit

Permalink
Fix Data.Functor.Compose
Browse files Browse the repository at this point in the history
  • Loading branch information
nosewings committed Aug 27, 2024
1 parent 7383331 commit bb23c5a
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions examples/base-src/module-edits/Data/Functor/Compose/edits
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
in Data.Functor.Compose.Applicative__Compose_op_zlztzg__ rewrite forall , Data.Functor.Compose.Applicative__Compose_liftA2 = GHC.Base.liftA2
in Data.Functor.Compose.Functor__Compose_op_zlzd__ rewrite forall , Data.Functor.Compose.Functor__Compose_fmap = GHC.Base.fmap

polykinds Data.Functor.Compose.Compose k k1
data kinds Data.Functor.Compose.Compose (k -> Type), (k1 -> k), k1
Expand Down

0 comments on commit bb23c5a

Please sign in to comment.