aavogt

{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE LambdaCase #-}
module Main (main) where

import qualified GI.Gdk as Gdk
import qualified GI.Gtk as Gtk
import Reactive.Banana.Frameworks

import Data.GI.Base (on)
import Language.Haskell.Interpreter as Hint

aavogt

struct Zipper<'a, T> {
    up : Vec<&'a mut T>,
    focus : &'a mut T,
    down : Vec<&'a mut T>,
}

impl<'a, T> Zipper<'a, T> {
    fn focus_n(&'a mut self, n: i32) ->  Option<&mut Self> {
        let mut x = self.focus_top()?;
        // n focus downs from the top

aavogt

{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
type family Remove v xs where
 Remove x (x ': xs) = Remove x xs
 Remove x (y ': xs) = y ': Remove x xs
 Remove x '[] = '[]

aavogt

{-# LANGUAGE TemplateHaskell #-}
module StaticVars where

import Language.Haskell.TH
import Data.IORef
import System.IO.Unsafe (unsafePerformIO)
import Control.Monad.IO.Class

staticVarsPrefix = "v"

aavogt

{-# LANGUAGE StandaloneDeriving, FlexibleContexts, UndecidableInstances #-}
-- zippers is probably a better answer
import Control.Lens
import Data.Maybe

-- with index
data WI m = WI (Index m) m
deriving instance (Show m, Show (Index m)) => Show (WI m)

mkwi' :: Ixed m => Index m -> m -> WI m

aavogt

-- we can implement drawN_ in terms of drawN, but not the other way around
-- 

drawN_ :: MonadState s m => (forall b. [b] -> m [b]) -> m ()
drawN_ = drawN

drawN :: MonadState s m => ([Card] -> m [Card]) -> m ()
drawN shuffle = _

aavogt

import Control.Lens

{- | in monopoly deal you have to pay more than you owe,
if you don't have exact change

Ex. if you have $3, $2 $2 $2, $1 $1 bills, and owe 4:

>>> overpay 4 [(3,1),(2,3),(1,2)]
[([(1,2),(2,1)],[(2,2),(3,1)],0),
 ([(2,2)],[(1,2),(2,1),(3,1)],0),

aavogt

module Main where

import Criterion.Main
import Criterion
import Data.List
import Data.Foldable (toList)
import Data.Random
import Data.Monoid ((<>))

import qualified Data.IntMap as IM

aavogt

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE TemplateHaskell #-}
module HistogramProb where

import qualified Data.Map as M
import Control.Lens

aavogt

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ConstraintKinds       #-}
{-# LANGUAGE FlexibleContexts      #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds             #-}
{-# LANGUAGE Rank2Types            #-}
{-# LANGUAGE TypeOperators         #-}
{-# LANGUAGE FunctionalDependencies         #-}