git.iko.soy/rowtype-yoga/purescript-native
on fc8697a help sign in
rowtype-yoga/purescript-native/examples/docs/src/ExplicitTypeSignatures.purs
18 lines 386 B history raw
2module ExplicitTypeSignatures where
4-- This should use the explicit type signature so that the type variable name
5-- is preserved.
6explicit :: forall something. something -> something
7explicit x
8 | true = x
9 | false = x
11-- This should use the inferred type.
12anInt :: _
13anInt = 0
15-- This should infer a type.
16aNumber = 1.0
18foreign import nestedForAll :: forall c. (forall a b. c)