Skip to content

Commit 7a1f9c0

Browse files
committed
[ sgr ] Add couple of style aliases commonly used in literature
1 parent 0228458 commit 7a1f9c0

1 file changed

Lines changed: 8 additions & 0 deletions

File tree

src/Text/ANSI/SGR.idr

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -58,6 +58,14 @@ data Style
5858
| Striked
5959
| NotStriked
6060

61+
public export %inline
62+
Dimmed : Style
63+
Dimmed = Faint
64+
65+
public export %inline
66+
NormalIntensity : Style
67+
NormalIntensity = NotBoldOrFaint
68+
6169
Cast Style String where
6270
cast Bold = "1"
6371
cast Faint = "2"

0 commit comments

Comments
 (0)