jeffreyrosenbluth

{-# Language InstanceSigs #-}
{-# Language MultiWayIf #-}
{-# Language RankNTypes #-}

import Control.Applicative
import Data.Char
import Data.Bifunctor (first)

type Parser' a = String -> a

jeffreyrosenbluth

{-# LANGUAGE TypeApplications #-}

module Main where

import           Codec.Picture            (PixelRGBA8( .. ), writePng, Image)
import           Control.Arrow
import           Control.Monad.Random
import           Control.Monad.Reader
import           Data.Colour.RGBSpace
import           Data.Colour.RGBSpace.HSV

jeffreyrosenbluth

Typing Haskell in Haskell

MARK P. JONES

Pacific Software Research Center

Department of Computer Science and Engineering

Oregon Graduate Institute of Science and Technology

jeffreyrosenbluth

{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE FlexibleContexts          #-}
{-# LANGUAGE TypeFamilies              #-}

import           Control.Monad                 (replicateM)
import           Control.Monad.Random
import           Data.Colour.Palette.ColorSet
import           Data.List                     (zipWith, zipWith3)
import           Diagrams.Prelude
import           Diagrams.Backend.SVG.CmdLine

jeffreyrosenbluth

{-# LANGUAGE RecursiveDo #-}

-- | A simple example of a Reflex application that uses both elm style "global"
--   state and component level "local" state. The global state is a counter that
--   can be incremented and decremented by buttons that remember how many times
--   they have been clicked.

module Main where

import Control.Applicative