blob: d3ccb2850f11a48937b587cfbdf3352219668ff7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
definition module ExtraString
import StdOverloaded
:: TextColor = Red | Green | None
matches :: !String !String -> Bool // b starts with a
skip :: !Int !String -> String // drop
join :: !String ![a] -> String | toString a // join with delimiter
color :: TextColor !String -> String // bash color
|
