FilesExpand file tree

websiteExecutable

/

fix528.u

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

12 lines (7 loc) · 191 Bytes

websiteExecutable

/

fix528.u

Copy path

Top

File metadata and controls

• Code
• Blame

12 lines (7 loc) · 191 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

(|>) : a -> (a -> b) -> b

a |> f = f a

ex1 = "bob" |> (Text.++) "hi, "

structural type Woot = Woot Text Int Nat

ex2 = match 0 |> Woot "Zonk" +10 with

Woot.Woot _ i _ -> i

> (ex1, ex2)