Solonarv

# Released under Unlicense.
from inspect import getattr_static
import functools

class monkeypatch:
    """ Decorator for all your evil monkeypatching needs.

    Functions as a class decorator:

    @monkeypatch(Foo)

Solonarv

pcm.!default {
  type asym
  playback.pcm "LoopAndReal"
  capture.pcm "plug:realrecds"
}

pcm.realrecds {
  type dsnoop
  ipc_key 1026
  slave.pcm "realrec"

Solonarv

-- standard "loeb" combinator
-- https://github.com/quchen/articles/blob/master/loeb-moeb.md
loeb :: Functor f => f (f a -> a) -> f a
loeb x = go where go = fmap ($ go) x

-- "monadic loeb"?
loebM :: (Traversable t, Monad m) => t (t a -> m a) -> m (t a)
loebM = sequenceA . loeb . fmap (\f xs -> f =<< sequenceA xs)

Solonarv

import System.Random
import Data.Monoid
import Control.Applicative
import Control.Monad

randomRsIO range = randomRs range <$> newStdGen

numPlayables :: Int -> [Int] -> Int
numPlayables energy costs = zeros + nonzeros
  where

Solonarv

{-# LANGUAGE UnboxedTuples #-}
{-# LANGUAGE MagicHash #-}
module FastFibo where

import GHC.Exts

type Mat2x2 = (# Int#, Int#, Int#, Int# #)

type Vec2 = (# Int#, Int# #)

Solonarv

from abc import ABCMeta, abstractmethod

def do_nothing(f):
    """A decorator that swallows the function and does nothing with it."""
    pass

def instantiate(callable):
    """A decorator that replaces a class definition with an instance of the class.

    Useful for making opaque singleton objects.

Solonarv

{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}
module Objects.File where

import Control.Monad
import System.IO

import Objects

Solonarv

:set prompt "\ESC[1;34m%s\n\ESC[0;34mλ> \ESC[m"
:set prompt-cont "\ESC[0;34mλ| \ESC[m"

Solonarv

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE RoleAnnotations #-}
module IxSTRef
  ( IxSTRef, ixSTRefId, ixSTRef
  , IxCounter, withIxCounter, newIxSTRef
  ) where

import Control.Monad.ST
import Data.Function
import Data.STRef

Solonarv

{-# OPTIONS_GHC -Wno-unticked-promoted-constructors -freduction-depth=0 #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}