diff options
Diffstat (limited to 'stdlib/source/library/lux/abstract/monad/indexed.lux')
| -rw-r--r-- | stdlib/source/library/lux/abstract/monad/indexed.lux | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/abstract/monad/indexed.lux b/stdlib/source/library/lux/abstract/monad/indexed.lux index ad06165f3..98acab0e1 100644 --- a/stdlib/source/library/lux/abstract/monad/indexed.lux +++ b/stdlib/source/library/lux/abstract/monad/indexed.lux @@ -12,16 +12,17 @@ ["." code]]]] ["." //]) -(interface: .public (IxMonad m) - (: (All [p a] - (-> a (m p p a))) - in) +(type: .public (IxMonad m) + (Interface + (: (All [p a] + (-> a (m p p a))) + in) - (: (All [ii it io vi vo] - (-> (-> vi (m it io vo)) - (m ii it vi) - (m ii io vo))) - then)) + (: (All [ii it io vi vo] + (-> (-> vi (m it io vo)) + (m ii it vi) + (m ii io vo))) + then))) (type: Binding [Code Code]) |