next node: Strings,
prev node: StringReduce,
up to node: Subsystem Strings

StringConv

Signature of StringConv

List of Import References :
See BOOL
See Char
See DENOTATION
See Nat
See Option
See Seq
See String 

SIGNATURE StringConv

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $) 

-- Conversions of strings to other data types

IMPORT String ONLY string
       Char   ONLY char
       Seq[char] ONLY seq

FUN ` : string -> denotation

FUN asSeq: string -> seq[char]

FUN asString: seq[char] -> string

-- old fashioned
FUN ! : string -> denotation        -- ! == `

FUN explode: string -> seq[char]    -- explode == asSeq
FUN implode: seq[char] -> string    -- implode == asString

next node: Strings,
prev node: StringReduce,
up to node: Subsystem Strings