diff options
| author | Camil Staps | 2016-06-03 00:43:51 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-06-03 00:43:51 +0200 |
| commit | 36d4cb4564156aef13ea90e368be488167fb89d3 (patch) | |
| tree | 45482c2ff0060515e3d888870369015045cecf27 /paper/While/Common.dcl | |
| parent | First version almost finished (diff) | |
Formatting
Diffstat (limited to 'paper/While/Common.dcl')
| -rw-r--r-- | paper/While/Common.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/paper/While/Common.dcl b/paper/While/Common.dcl index c2d58d4..db71353 100644 --- a/paper/While/Common.dcl +++ b/paper/While/Common.dcl @@ -45,4 +45,5 @@ mapM :: (a -> b c) [a] -> b [c] | Monad b foldM :: (a -> (b -> c a)) a [b] -> c a | Monad c liftM :: (a -> b) (c a) -> c b | Monad c liftM2 :: (a -> (b -> c)) (d a) (d b) -> d c | Monad d -liftM3 :: (a -> (b -> (c -> d))) (e a) (e b) (e c) -> e d | Monad e +liftM3 :: (a -> (b -> (c -> d))) (e a) (e b) (e c) + -> e d | Monad e |