application/octet-stream
•
2.80 KB
•
66 lines
;;; Nujel - Copyright (C) 2020-2021 - Benjamin Vincent Schulenburg
;;; This project uses the MIT license, a copy should be included under /LICENSE
;;;
;;; A bunch of procedurs working on procedures, using type specialized λs
[defn ref [l i]
"Return whatver is at position I in L"
[case [type-of l]
[:nil #nil]
[:tree [tree/ref l i]]
[[:buffer :string :buffer-view] [buffer/ref l i]]
[:array [array/ref l i]]
[:pair [list/ref l i]]
[otherwise [throw [list :type-error "You can only ref a collection" l [current-lambda]]]]]]
[defn filter [l p]
"Runs predicate p over every item in collection l and returns a list consiting solely of items where p is true"
[case [type-of l]
[:nil #nil]
[:tree [tree/filter l p]]
[:pair [list/filter l p]]
[:array [array/filter l p]]
[otherwise [throw [list :type-error "You can only filter collections" l [current-lambda]]]]]]
[defn reduce [l f α]
"Combine all elements in collection l using operation F and starting value α"
[case [type-of l]
[:nil α]
[:tree [tree/reduce l f α]]
[:pair [list/reduce l f α]]
[:array [array/reduce l f α]]
[otherwise [throw [list :type-error "You can only reduce collections" l [current-lambda]]]]]]
[defn length [α]
"Returns the length of collection α"
[case [type-of α]
[:nil 0]
[:array [array/length α]]
[:pair [list/length α]]
[[:buffer :string :buffer-view] [buffer/length α]]
[:tree [tree/size α]]
[otherwise [throw [list :type-error "You can only use length with a collection" α [current-lambda]]]]]]
[defn map [l f]
"Runs f over every item in collection l and returns the resulting list"
[case [type-of l]
[:nil #nil]
[:pair [list/map l f]]
[:array [array/map l f]]
[otherwise [throw [list :type-error "You can only use map with a collection" l [current-lambda]]]]]]
[defn sort [l]
"Sorts the collection L"
[case [type-of l]
[:nil #nil]
[:pair [list/sort l]]
[:array [array/sort l]]
[otherwise [throw [list :type-error "You can only use sort with a collection" l [current-lambda]]]]]]
[defn cut [l start end]
"Return a subcollection of L from START to END"
[case [type-of l]
[:array [array/cut l start end]]
[:pair [list/cut l start end]]
[:string [string/cut l start end]]
[otherwise [throw [list :type-error "You can only use member with a collection" l [current-lambda]]]]]]
