blob: 89ac332d31c1704ac4ea4b076af22156bee3ce5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
{-# LANGUAGE Arrows, BlockArguments #-}
module BlockArgumentsArrowCmds where
import Control.Arrow
cmdLam :: () -> ()
cmdLam = proc () -> (| id \() -> () >- returnA |) ()
cmdCase :: () -> ()
cmdCase = proc () -> (| id case () of
() -> () >- returnA |)
cmdIf :: () -> ()
cmdIf = proc () -> (| id if True then () >- returnA else () >- returnA |)
cmdLet :: () -> ()
cmdLet = proc () -> (| id let x = () in x >- returnA |)
cmdDo :: () -> ()
cmdDo = proc () -> (| id do
() >- returnA |)
|
