Code Snippets Cabal Config

Short texts Cabal Config 🧑‍💻 Code snippets Cabal Config ✍️ Reading lists Cabal Config 👀

Automatically testing laws for Tree and RoseTree from assignment 1 of UU AFP ’21

{-# LANGUAGE TypeApplications #-} module Main where import Data.Proxy import Test.QuickCheck import Test.QuickCheck.Classes — Definition of the types in assignment 1 data Tree a = Leaf a | Node (Tree a) (Tree a) deriving (Show, Eq) data RoseTree a = RoseNode a [RoseTree a] | RoseLeaf deriving (Show, Eq) data Teletype a = Get (Char […]