Package frege.prelude.PreludeNative

Compiled: Tue Dec 04 23:59:55 PST 2012 from source file: frege/prelude/PreludeNative.fr

Package Documentation

Native types we need in the prelude

Table of Content

Imports

Classes

class Appendable a

Resembles java.lang.Appendable

Known Instances

StringBuilder

Member Functions

append :: Appendable a => a s -> String -> Mutable a s
native append
appendChar :: Appendable a => a s -> Char -> Mutable a s
native append

Instances

instance Appendable StringBuilder

One may Appendable.append Chars and Strings to a StringBuilder

Member Functions

append :: StringBuilder α -> String -> Mutable StringBuilder α
native append

inherited from Appendable.append

appendChar :: StringBuilder α -> Char -> Mutable StringBuilder α
native append

inherited from Appendable.appendChar

Data Types

data StringBuilder s = native java.lang.StringBuilder

Resembles java.lang.StringBuilder

Member Functions

new :: String -> Mutable StringBuilder s
native new
toString :: StringBuilder s -> ST s String
native toString

Functions and Values by Type

String -> Mutable StringBuilder s

StringBuilder.new

StringBuilder s -> ST s String

StringBuilder.toString

StringBuilder α -> String -> Mutable StringBuilder α

Appendable_StringBuilder.append

StringBuilder α -> Char -> Mutable StringBuilder α

Appendable_StringBuilder.appendChar

Appendable a => a s -> String -> Mutable a s

Appendable.append

Appendable a => a s -> Char -> Mutable a s

Appendable.appendChar

Valid HTML 4.01 Strict