UnkindPartition

abstract Simple = {
  flags startcat = Object;
  cat Object; Quality;

  fun
    Meal, Drink: Object;
    Tasty, Exotic: Quality;
    QObject: Quality -> Object -> Object;
    And: Object -> Object -> Object;
}

UnkindPartition

get_db() {
  if [ -z "$CABAL_SANDBOX_CONFIG" ]
  then
    db=""
  else
    db=$(sed -nr -e 's/^package-db: (.*)/\1/p' "$CABAL_SANDBOX_CONFIG")
    if [ $? -ne 0 ]; then exit 1; fi
  fi
}
db_cmd() (

UnkindPartition

{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, ScopedTypeVariables, DeriveDataTypeable #-}

import Test.Tasty
import Test.Tasty.Providers
import Test.Tasty.Options
import Test.Tasty.SmallCheck
import Test.Tasty.Runners
import Test.SmallCheck.Series
import Control.Applicative
import Data.Tagged

UnkindPartition

{-# LANGUAGE GADTs, EmptyDataDecls, MultiParamTypeClasses, TypeFamilies #-}
{-# LANGUAGE DeriveDataTypeable, StandaloneDeriving #-}

import Data.Generics
import Data.Typeable
import Data.Data

data HasHoles
data Complete
deriving instance Typeable HasHoles

UnkindPartition

{-# LANGUAGE OverloadedStrings, TemplateHaskell #-}
import Data.Aeson
import Data.Aeson.TH
import qualified Data.ByteString.Lazy as BS
import Control.Applicative
import Control.Monad

instance FromJSON GName where
  parseJSON (Object v) =
    GName <$>

UnkindPartition

-- Arrowized version of https://github.com/tcrayford/rematch

{-# LANGUAGE RankNTypes, Arrows, FlexibleInstances, MultiParamTypeClasses #-}
module ArrowMatcher where

import Prelude hiding ((.), id)
import Control.Applicative
import Control.Category
import Control.Arrow
import Control.Arrow.Transformer

UnkindPartition

-- In response to http://existentialtype.wordpress.com/2012/12/03/exceptions-are-shared-secrets/

{-# LANGUAGE DeriveDataTypeable #-}

module MyException
  ( Secret
  , MyException
  , throwMyException
  , handleMyException
  ) where

UnkindPartition

(define (return v) (lambda (s ks kf) (ks v s)))
(define fail (lambda (s ks kf) (kf)))

; >>=
(define (bind a f)
  (lambda (s ks kf)
    (a s
       (lambda (av s1) ((f av) s1 ks kf))
       kf)))

UnkindPartition

-- http://users.livejournal.com/_darkus_/641529.html
-- Usage: runghc jars.hs 5 8 2

import Control.Category
import Control.Applicative
import Control.Monad.Logic
import Control.Monad.Writer
import Control.Monad.Reader
import Control.Monad.State
import Data.List

UnkindPartition

; In reply to https://gist.github.com/1405389
(define (map f lst)
  (letrec
    ((go (lambda (lst k)
      (if (null? lst)
        (k '())
        (go (cdr lst)
            (lambda (rest)
              (k (cons (f (car lst)) rest))))))))
    (go lst (lambda (x) x))))