ekmett / ekmett/adjunctions

Add instance for WrappedMonad

Open
#59 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
45
Forks
26
PR merge metrics
No merged PRs in 30d

Description

Whenever https://github.com/ekmett/distributive/pull/52 lands, we can and presumably should add

```haskell
instance (Representable m, Monad m) => Representable (WrappedMonad m) where
type Rep (WrappedMonad m) = Rep m
index (WrapMonad m) k = index m k
tabulate f = WrapMonad (tabulate f)
```

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.