diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/abstract/functor.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/abstract/functor.lux b/stdlib/source/test/lux/abstract/functor.lux index 5bef11061..33a1df347 100644 --- a/stdlib/source/test/lux/abstract/functor.lux +++ b/stdlib/source/test/lux/abstract/functor.lux @@ -21,29 +21,29 @@ ["[0]" / (.only Functor)]]) (for @.old (these) - (these (def: maybe_functor + (these (def maybe_functor (Functor .Maybe) (\\polytypic.functor .Maybe)) - (def: list_functor + (def list_functor (Functor .List) (\\polytypic.functor .List)) - (def: state_functor + (def state_functor (All (_ s) (Functor (state.State s))) (\\polytypic.functor state.State)) - (def: identity_functor + (def identity_functor (Functor identity.Identity) (\\polytypic.functor identity.Identity)))) -(def: \\polytypic +(def \\polytypic Test (<| (_.covering \\polytypic._) (_.coverage [\\polytypic.functor] true))) -(def: .public test +(def .public test Test (do random.monad [left random.nat |