git.iko.soy/rowtype-yoga/purescript-native
on 24fdff2 help sign in
rowtype-yoga/purescript-native/examples/passing/EmptyDataDecls.purs
19 lines 421 B history raw
1module Main where
3import Prelude
4import Test.Assert
6data Z
7data S n
9data ArrayBox n a = ArrayBox (Array a)
11nil :: forall a. ArrayBox Z a
12nil = ArrayBox []
14cons' :: forall a n. a -> ArrayBox n a -> ArrayBox (S n) a
15cons' x (ArrayBox xs) = ArrayBox $ append [x] xs
17main = case cons' 1 $ cons' 2 $ cons' 3 nil of
18 ArrayBox [1, 2, 3] -> Control.Monad.Eff.Console.log "Done"
19 _ -> assert' "Failed" false