GoodList/test/Main.hs

module Main (main) where
import GoodList

abc :: GoodList Char
abc = cons 'a' $ cons 'b' $ cons 'c' Empty
def :: GoodList Char
def = cons 'd' $ cons 'e' $ cons 'f' Empty

main :: IO ()
main = print abc >>
       print def >>
       print (abc `append` def)
Setup 2024-02-29 12:03:15 +00:00			`module Main (main) where`
formatting is my passion 2024-02-29 17:23:17 +00:00			`import GoodList`

			`abc :: GoodList Char`
			`abc = cons 'a' $ cons 'b' $ cons 'c' Empty`
simpler append function 2024-03-01 10:19:08 +00:00			`def :: GoodList Char`
			`def = cons 'd' $ cons 'e' $ cons 'f' Empty`
Setup 2024-02-29 12:03:15 +00:00
			`main :: IO ()`
simpler append function 2024-03-01 10:19:08 +00:00			`main = print abc >>`
			`print def >>`
			print (abc `append` def)