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
-
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
-
-
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 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
-
-
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
