JohnLato

Keybase proof

I hereby claim:

• I am johnlato on github.
• I am jwlato (https://keybase.io/jwlato) on keybase.
• I have a public key ASAFwO4dXev3vUb-xQAknQYyOLm4TWCDGP0dFdntQAoBLQo

To claim this, I am signing this object:

JohnLato

data AndBool = ATrue | AFalse deriving Eq

joinAndBool :: AndBool -> AndBool -> AndBool
joinAndBool ATrue ATrue = ATrue
joinAndBool _ _ = AFalse

instance JoinSemiLattice AndBool where
    join = joinAndBool

data AndNum = Bot | One | Two | OneTwo deriving Eq

JohnLato

{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}

module Foo where

import GHC.Generics
import Data.Data

JohnLato

{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE RankNTypes #-}

{-# OPTIONS_GHC -Wall -fno-warn-unused-binds #-}
module Benchmark.Banana (
  benchmark1
, benchmark2
, main
) where
import Reactive.Banana

JohnLato

{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ExtendedDefaultRules #-}

module IoState where

import Control.Monad.State.Class

import Data.IORef
import System.IO.Unsafe

JohnLato

{-# LANGUAGE RankNTypes, ScopedTypeVariables, NoMonomorphismRestriction,
   TupleSections #-}

-- | A couple arrow-like functions for enumeratees.  Consider this example:
--
-- Suppose you have the following
--
-- 1.  Consumer :: Iteratee [(Int,Char)] m a
-- 2.  Mapper   :: Enumeratee Int Char m a
-- 3.  Source   :: Enumerator Int m a