ConCat.LC
Description
Experimenting with an example. The plugin doesn't find the needed instances when they're declared in the same module as the example. Hm.
class (OkLM R a, GenBuses a) => OkLC a Source #
Defined in ConCat.LC
Methods
inOp :: forall (a :: k) (b :: k). (Sat OkLC a && Sat OkLC b) |- Sat OkLC (a :* b) Source #
class (HasL R a, Zip (V R a), Additive a, GenBuses a) => OkLFC a Source #
inOp :: forall (a :: k) (b :: k). (Sat OkLFC a && Sat OkLFC b) |- Sat OkLFC (a :* b) Source #