Difference between revisions of "Mutable List Assignment"
Jump to navigation
Jump to search
| Line 20: | Line 20: | ||
val reverse = fn : 'a mutable_list -> unit</nowiki> | val reverse = fn : 'a mutable_list -> unit</nowiki> | ||
| − | ==construct_empty== | + | ===construct_empty=== |
fun construct_empty() : 'a mutable_list = | fun construct_empty() : 'a mutable_list = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| − | ==length== | + | ===length=== |
fun length(mlist : 'a mutable_list) : int = | fun length(mlist : 'a mutable_list) : int = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| Line 30: | Line 30: | ||
Analogous to [https://smlfamily.github.io/Basis/list.html#SIG:LIST.length:VAL List.length]. | Analogous to [https://smlfamily.github.io/Basis/list.html#SIG:LIST.length:VAL List.length]. | ||
| − | ==clear== | + | ===clear=== |
fun clear(mlist : 'a mutable_list) : unit = | fun clear(mlist : 'a mutable_list) : unit = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| − | ==add_to_front== | + | ===add_to_front=== |
fun add_to_front(mlist : 'a mutable_list, value : 'a) : unit = | fun add_to_front(mlist : 'a mutable_list, value : 'a) : unit = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| Line 40: | Line 40: | ||
Analogous to [https://smlfamily.github.io/Basis/list.html#SIG:LIST.:::TY ::]. | Analogous to [https://smlfamily.github.io/Basis/list.html#SIG:LIST.:::TY ::]. | ||
| − | ==add_to_back== | + | ===add_to_back=== |
fun add_to_back(mlist : 'a mutable_list, value : 'a) : unit = | fun add_to_back(mlist : 'a mutable_list, value : 'a) : unit = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| − | ==contains== | + | ===contains=== |
fun contains(predicate : ('a -> bool), mlist : 'a mutable_list) : bool = | fun contains(predicate : ('a -> bool), mlist : 'a mutable_list) : bool = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| − | ==nth== | + | ===nth=== |
<nowiki>fun nth(mlist : 'a mutable_list, index : int) : 'a = | <nowiki>fun nth(mlist : 'a mutable_list, index : int) : 'a = | ||
raise Fail "NotYetImplemented"</nowiki> | raise Fail "NotYetImplemented"</nowiki> | ||
| Line 56: | Line 56: | ||
Note: raise [https://smlfamily.github.io/Basis/general.html#SIG:GENERAL.Subscript:EXN:SPEC Subscript] if out of bounds. | Note: raise [https://smlfamily.github.io/Basis/general.html#SIG:GENERAL.Subscript:EXN:SPEC Subscript] if out of bounds. | ||
| − | ==construct_from_immutable== | + | ===construct_from_immutable=== |
fun construct_from_immutable(values : 'a list) : 'a mutable_list = | fun construct_from_immutable(values : 'a list) : 'a mutable_list = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| − | ==foldl== | + | ===foldl=== |
fun foldl(f : ('a * 'b -> 'b), init : 'b, mlist : 'a mutable_list) : 'b = | fun foldl(f : ('a * 'b -> 'b), init : 'b, mlist : 'a mutable_list) : 'b = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| Line 66: | Line 66: | ||
Analogous to [https://smlfamily.github.io/Basis/list.html#SIG:LIST.foldl:VAL List.foldl]. | Analogous to [https://smlfamily.github.io/Basis/list.html#SIG:LIST.foldl:VAL List.foldl]. | ||
| − | ==to_immutable== | + | ===to_immutable=== |
fun to_immutable(mlist : 'a mutable_list) : 'a list = | fun to_immutable(mlist : 'a mutable_list) : 'a list = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| − | ==map== | + | ===map=== |
fun map(f : ('a -> 'b), mlist : 'a mutable_list) : 'b mutable_list = | fun map(f : ('a -> 'b), mlist : 'a mutable_list) : 'b mutable_list = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| Line 76: | Line 76: | ||
Analogous to [https://smlfamily.github.io/Basis/list.html#SIG:LIST.map:VAL List.map]. | Analogous to [https://smlfamily.github.io/Basis/list.html#SIG:LIST.map:VAL List.map]. | ||
| − | ==copy== | + | ===copy=== |
fun copy(mlist : 'a mutable_list) : 'a mutable_list = | fun copy(mlist : 'a mutable_list) : 'a mutable_list = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| − | ==@== | + | ===@=== |
fun a @ b = | fun a @ b = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
| Line 88: | Line 88: | ||
Note: does NOT alias. | Note: does NOT alias. | ||
| − | ==reverse== | + | ===reverse=== |
fun reverse(mlist : 'a mutable_list) : unit = | fun reverse(mlist : 'a mutable_list) : unit = | ||
raise Fail "NotYetImplemented" | raise Fail "NotYetImplemented" | ||
Revision as of 09:04, 21 February 2022
Contents
Code to Implement
types
(* TODO: replace unit with the datatype/type synonym(s) you decide upon *) type 'a mutable_list = unit
signatures
val construct_empty = fn : unit -> 'a mutable_list
val length = fn : 'a mutable_list -> int
val clear = fn : 'a mutable_list -> unit
val add_to_front = fn : 'a mutable_list * 'a -> unit
val add_to_back = fn : 'a mutable_list * 'a -> unit
val contains = fn : ('a -> bool) * 'a mutable_list -> bool
val nth = fn : 'a mutable_list * int -> 'a
val construct_from_immutable = fn : 'a list -> 'a mutable_list
val foldl = fn : ('a * 'b -> 'b) * 'b * 'a mutable_list -> 'b
val to_immutable = fn : 'a mutable_list -> 'a list
val map = fn : ('a -> 'b) * 'a mutable_list -> 'b mutable_list
val copy = fn : 'a mutable_list -> 'a mutable_list
val @ = fn : 'a mutable_list * 'a mutable_list -> 'a mutable_list
val reverse = fn : 'a mutable_list -> unit
construct_empty
fun construct_empty() : 'a mutable_list = raise Fail "NotYetImplemented"
length
fun length(mlist : 'a mutable_list) : int = raise Fail "NotYetImplemented"
Analogous to List.length.
clear
fun clear(mlist : 'a mutable_list) : unit = raise Fail "NotYetImplemented"
add_to_front
fun add_to_front(mlist : 'a mutable_list, value : 'a) : unit = raise Fail "NotYetImplemented"
Analogous to ::.
add_to_back
fun add_to_back(mlist : 'a mutable_list, value : 'a) : unit = raise Fail "NotYetImplemented"
contains
fun contains(predicate : ('a -> bool), mlist : 'a mutable_list) : bool =
raise Fail "NotYetImplemented"
nth
fun nth(mlist : 'a mutable_list, index : int) : 'a =
raise Fail "NotYetImplemented"
Analogous to List.nth.
Note: raise Subscript if out of bounds.
construct_from_immutable
fun construct_from_immutable(values : 'a list) : 'a mutable_list = raise Fail "NotYetImplemented"
foldl
fun foldl(f : ('a * 'b -> 'b), init : 'b, mlist : 'a mutable_list) : 'b =
raise Fail "NotYetImplemented"
Analogous to List.foldl.
to_immutable
fun to_immutable(mlist : 'a mutable_list) : 'a list = raise Fail "NotYetImplemented"
map
fun map(f : ('a -> 'b), mlist : 'a mutable_list) : 'b mutable_list =
raise Fail "NotYetImplemented"
Analogous to List.map.
copy
fun copy(mlist : 'a mutable_list) : 'a mutable_list = raise Fail "NotYetImplemented"
@
fun a @ b = raise Fail "NotYetImplemented"
Analogous to List.@.
Note: does NOT alias.
reverse
fun reverse(mlist : 'a mutable_list) : unit = raise Fail "NotYetImplemented"
Analogous to List.rev
