chansey97

module Crush(
  AST(..)
, crush
, crushMap
, crushMapM

  -- debugging
, buildAst
, printAst
) where

chansey97

module PCP where
import           Data.List
import           Data.Tree

-- breadth-first traversal
levelf :: Forest a -> [[a]]
levelf = unfoldr f
  where f [] = Nothing
        f xs = Just (map rootLabel xs, concat $ map subForest xs)

chansey97

{-# LANGUAGE DeriveFunctor, TypeFamilies #-}

module Main where

data Pair a = Pair a a
  deriving (Eq)

getFst :: Pair a -> a
getFst (Pair x1 _) = x1

chansey97

{-# LANGUAGE DeriveFunctor, TypeFamilies #-}

module Main where

data Pair a = Pair a a
  deriving (Eq)

getFst :: Pair a -> a
getFst (Pair x1 _) = x1