git.iko.soy/urbit.org
on 492ae2f help sign in
urbit.org/docs/programming/reference/library/src/2n/gate/hard.md
30 lines 544 B history raw
1### `++hard`
3Demands that a specific type be produced, crashing the program is it is
4not.
6Source
7------
9 ++ cury :: curry left
10 |* {a/_|=(^ **) b/*}
11 |* c/_+<+.a
12 (a b c)
13 ::
15Examples
16--------
18 ~zod/try=> ((hard (list)) (limo [1 2 3 ~]))
19 ~[1 2 3]
20 ~zod/try=> ((hard @) (add 2 2))
21 4
22 ~zod/try=> ((hard @t) (crip "Tape to cord, bro!"))
23 'Tape to cord, bro'
24 ~zod/try=> ((hard tape) (crip "...Tape to cord, bro?..."))
25 ! hard
26 ! exit
30***