Skip to content

Instantly share code, notes, and snippets.

View schrammc's full-sized avatar

Christof Schramm schrammc

View GitHub Profile
@schrammc
schrammc / unions.hs
Last active December 31, 2019 13:47
Haskell Open Unions without overlapping instances.
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE RankNTypes #-}
@schrammc
schrammc / Main.hs
Created May 29, 2015 12:23
Minimal FRP example
import FRP.Sodium
import FRP.Sodium.IO
import System.Exit (exitSuccess)
import Control.Applicative ((<$>))
import Control.Monad (forever)
import Control.Concurrent
import Control.Monad
import System.Timeout