k-bx

Feature: Compute factorial
  In order to play with Lettuce
  As beginners
  We'll implement factorial
 
Scenario: Backup at certain times
  Given I have the time 18:00
  Then I run server sync
  Then I run server sync at 5:00

k-bx

Feature: Compute factorial
  In order to play with Lettuce
  As beginners
  We'll implement factorial
 
Scenario: Backup at certain times
  Given I have the time 18:00
  Then I run server sync at "5:00"
 
Scenario: Backup at certain times

k-bx

{-# LANGUAGE OverloadedLists #-}
{-# LANGUAGE OverloadedStrings #-}

import Data.Map
import Data.Text

main :: IO ()
main = do
    let m = [("foo", 1), ("bar", 2)]
          :: Map Text Int

k-bx

{-# LANGUAGE TypeFamilies          #-}
{-# LANGUAGE DataKinds          #-}
{-# LANGUAGE TypeOperators          #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleInstances     #-}

import GHC.TypeLits
import Data.Proxy

type family Last (a :: (Nat -> *)) :: Nat

k-bx

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE GADTs #-}

data Req = A | B

data ReqData :: Req -> * where
    ReqDataA :: ReqData A
    ReqDataB :: ReqData B

k-bx

-- | This script will replace expected stdout files of failed tests
-- with actual (new) ones. This will need some careful review (see
-- turtle_review.hs)

{-# LANGUAGE OverloadedStrings #-}

import qualified Control.Foldl             as L
import           Data.List                 ((\\))
import qualified Data.Text                 as T
import           Data.Traversable          (forM)

k-bx

Keybase proof

I hereby claim:

• I am k-bx on github.
• I am kobx (https://keybase.io/kobx) on keybase.
• I have a public key whose fingerprint is 0E1C 98EA 2448 0D24 EF5B C70C A144 9CC4 600F 1668

To claim this, I am signing this object:

k-bx

cabal sandbox init
cabal install owcloud-*/
# in 3 different terminals
.cabal-sandbox/bin/owlcloud-front
.cabal-sandbox/bin/owlcloud-users
.cabal-sandbox/bin/owlcloud-albums

k-bx

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeOperators #-}

k-bx

from mock import patch


class RealOne(object):
    def quack(self):
        print '> quack'


class BarDescriptor(object):
    def __get__(self, obj, type=None):