blob: 568bdb79519d5bc54e5dca7627049d8f710ad513 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
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
|
