We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 52297b2 commit 87f7f22Copy full SHA for 87f7f22
src/Type/Row.purs
@@ -14,7 +14,7 @@ import Type.Data.Row (RProxy(..)) as RProxy
14
-- | ```
15
-- | APPLY Maybe Int == Maybe $ Int == Maybe Int
16
17
-type APPLY ∷ ∀ d c . (d → c) → d → c
+type APPLY :: forall a b. (a -> b) -> a -> b
18
type APPLY f a = f a
19
20
infixr 0 type APPLY as $
@@ -32,7 +32,7 @@ infixr 0 type APPLY as $
32
-- | breakage, `# Type` was made an alias to `Row Type`. When the `# Type`
33
-- | syntax is fully dropped in a later language release, we can then
34
-- | support the infix version: `Int # Maybe`.
35
-type FLIP ∷ ∀ d c . d → (d → c) → c
+type FLIP :: forall a b. a -> (a -> b) -> b
36
type FLIP a f = f a
37
38
-- | Type application for rows.
0 commit comments