diff options
Diffstat (limited to 'stdlib/source/specification')
| -rw-r--r-- | stdlib/source/specification/compositor/common.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/specification/lux/abstract/functor.lux | 4 |
2 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index 34e5aa19b..e6913e8df 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -19,13 +19,13 @@ [default ["[0]" platform (.only Platform)]]]]]) -(type: .public Runner +(type .public Runner (-> Text Synthesis (Try Any))) -(type: .public Definer +(type .public Definer (-> Symbol Synthesis (Try Any))) -(type: .public (Instancer what) +(type .public (Instancer what) (All (_ anchor expression directive) (-> (Platform IO anchor expression directive) (generation.State+ anchor expression directive) diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index 935c37f98..e1be8eba2 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -14,10 +14,10 @@ [\\library ["[0]" / (.only Functor)]]) -(type: .public (Injection f) +(type .public (Injection f) (All (_ a) (-> a (f a)))) -(type: .public (Comparison f) +(type .public (Comparison f) (All (_ a) (-> (Equivalence a) (Equivalence (f a))))) |