README About Versions Source Modules

CoreFn.Name

Types

type Name

= Lower String

| Upper String

| Synth Int

| Qualified String Name

Constructors

scoped : List String -> Name -> Name

Conversions

toString : String -> Name -> String

lowerString : Name -> Maybe String

upperString : Name -> Maybe String

synthString : Name -> Maybe String

JSON

encode : Name -> Value

decoder : Decoder Name

Modules