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:
I hereby claim:
To claim this, I am signing this object:
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 |
{-# LANGUAGE DeriveGeneric #-} | |
{-# LANGUAGE DeriveDataTypeable #-} | |
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
module Foo where | |
import GHC.Generics | |
import Data.Data |
{-# LANGUAGE NoMonomorphismRestriction #-} | |
{-# LANGUAGE RankNTypes #-} | |
{-# OPTIONS_GHC -Wall -fno-warn-unused-binds #-} | |
module Benchmark.Banana ( | |
benchmark1 | |
, benchmark2 | |
, main | |
) where | |
import Reactive.Banana |
{-# LANGUAGE FlexibleInstances #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
{-# LANGUAGE ExtendedDefaultRules #-} | |
module IoState where | |
import Control.Monad.State.Class | |
import Data.IORef | |
import System.IO.Unsafe |
{-# 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 |