X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=stdlib%2Fprelude.gl;h=836b5c419b059a96949ab01102ab55755d5baf50;hb=bed4036653ce47a91b96dd0ead65341aa80d6b97;hp=7dc3b7342238c6b0cfb1dde70ff594c285c7f3e6;hpb=22e06eac0cf27c97056bb9e2f4fe7e45f7f1a474;p=goals.git diff --git a/stdlib/prelude.gl b/stdlib/prelude.gl index 7dc3b73..836b5c4 100644 --- a/stdlib/prelude.gl +++ b/stdlib/prelude.gl @@ -59,6 +59,16 @@ pure function wrap (wrapper, xs) = @{ #---------------------------------------------------------------------- # Text functions. +# Filter a list by regexp. +pure function filter (pat, xs) returning strings = @{ + for f in %xs; do echo "$f"; done | grep -E -- %pat +} + +# Filter out a list by regexp. +pure function filter-out (pat, xs) returning strings = @{ + for f in %xs; do echo "$f"; done | grep -v -E -- %pat +} + # Head of a list. pure function head (xs) returning string = @{ for f in %xs; do @@ -72,11 +82,37 @@ pure function join (xs, ys) returning strings = @{ for f in %xs %ys; do echo "$f"; done } +# Last element of a list. +pure function last (xs) returning string = @{ + for f in %xs; do + r="$f" + done + echo "$r" +} + +# n'th element of a list. +pure function nth (n, xs) returning string = @{ + i=0 + r= + for f in %xs; do + if [ $i -eq %n ]; then r="$f"; fi + ((++i)) + done + echo "$r" +} + # Sort + uniq a list. pure function sort (xs) returning strings = @{ for f in %xs; do echo "$f"; done | sort -u } +# Split a string into a list. +# https://superuser.com/a/1066541 +pure function split (s) returning strings = @{ + s=%s + eval 'for f in '$s'; do echo "$f"; done' +} + # Substitute. pure function subst (from, to, text) returning string = @{ # We need to replace any / characters in ‘to’ with escaped ones. @@ -98,12 +134,12 @@ pure function tail (xs) returning strings = @{ # Base name. pure function basename (name) returning string = @{ - basename %name + basename -- %name } # Directory name. pure function dirname (name) returning string = @{ - dirname %name + dirname -- %name } # File extension. @@ -114,12 +150,12 @@ pure function extension (name) returning string = @{ # Read a file. function read (filename) returning string = @{ - cat %filename + cat -- %filename } # Read a file as a list of lines. function readlines (filename) returning strings = @{ - cat %filename + cat -- %filename } # Real path.