git.iko.soy/rowtype-yoga/purescript-native
on cd4c708 help sign in
rowtype-yoga/purescript-native/examples/docs/src/ExplicitTypeSignatures.purs
16 lines 328 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