git.iko.soy/rowtype-yoga/purescript-native
on cd4c708 help sign in
rowtype-yoga/purescript-native/examples/docs/src/ConstrainedArgument.purs
9 lines 282 B history raw
1module ConstrainedArgument where
3class Foo t
5type WithoutArgs = forall a. (Partial => a) -> a
6type WithArgs = forall a. (Foo a => a) -> a
7type MultiWithoutArgs = forall a. ((Partial, Partial) => a) -> a
8type MultiWithArgs = forall a b. ((Foo a, Foo b) => a) -> a