@パターン(アズパターン)
as-pattern。
main = asTest [1, 2, 3] asTest all@(n:ns) = do {print $ all; print $ n; print $ ns}
結果。
[1,2,3] 1 [2,3]
nが1、nsが[2,3]に、allは[1,2,3]、つまりリスト全体に束縛される。
as-pattern。
main = asTest [1, 2, 3] asTest all@(n:ns) = do {print $ all; print $ n; print $ ns}
結果。
[1,2,3] 1 [2,3]
nが1、nsが[2,3]に、allは[1,2,3]、つまりリスト全体に束縛される。