diff options
Diffstat (limited to 'lib')
-rw-r--r-- | lib/CommandLine.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/CommandLine.hs b/lib/CommandLine.hs index 62f0315..55b77b3 100644 --- a/lib/CommandLine.hs +++ b/lib/CommandLine.hs | |||
@@ -48,7 +48,7 @@ type MergeData = [(Int,Ordering)] | |||
48 | -- | Expr a | 48 | -- | Expr a |
49 | -- | 49 | -- |
50 | data Expr a where | 50 | data Expr a where |
51 | -- | Prim | 51 | -- Prim |
52 | -- | 52 | -- |
53 | -- Takes a function from the option arguments and unamed arguments repsectively to | 53 | -- Takes a function from the option arguments and unamed arguments repsectively to |
54 | -- a value of type a, usually IO (), and gives you an expression tree. As one | 54 | -- a value of type a, usually IO (), and gives you an expression tree. As one |
@@ -57,13 +57,13 @@ data Expr a where | |||
57 | -- where we are in the tree. | 57 | -- where we are in the tree. |
58 | -- | 58 | -- |
59 | Prim :: ([[String]] -> [String] -> a) -> Interval (SuperOrd Int) -> Expr a | 59 | Prim :: ([[String]] -> [String] -> a) -> Interval (SuperOrd Int) -> Expr a |
60 | -- | Star | 60 | -- Star |
61 | -- Applicative '<*>' | 61 | -- Applicative '<*>' |
62 | Star :: MergeData -> Expr (b -> a) -> (Expr b) -> Expr a | 62 | Star :: MergeData -> Expr (b -> a) -> (Expr b) -> Expr a |
63 | -- | Or | 63 | -- Or |
64 | -- Alternative '<|>' | 64 | -- Alternative '<|>' |
65 | Or :: MergeData -> Expr a -> Expr a -> Expr a | 65 | Or :: MergeData -> Expr a -> Expr a -> Expr a |
66 | -- | Empty | 66 | -- Empty |
67 | -- Alternative empty | 67 | -- Alternative empty |
68 | Empty :: Expr a | 68 | Empty :: Expr a |
69 | 69 | ||