1
import Bow
2
import BowGenerators
3

4
public class BimonadLaws<F: Bimonad & EquatableK & ArbitraryK> {
5 1
    public static func check() {
6 1
        MonadLaws<F>.check()
7 1
        ComonadLaws<F>.check()
8
    }
9
}

Read our documentation on viewing source code .

Loading