LSLeary

{-# LANGUAGE DerivingVia, PatternSynonyms #-}
{-# LANGUAGE UndecidableInstances, MonoLocalBinds #-}

module Transform where

import Data.Functor ((<&>))
import Data.Monoid (Sum(..), Product(..), Ap(..))


test1a :: Transformable p s => Transform p s

LSLeary

module Local (local) where

import Data.Char (isUpper)
import Data.Functor ((<&>))

import Language.Haskell.TH.Syntax
  ( Q, Exp(VarE, ConE), Type(ConT)
  , Module(..), Name(..), OccName(..), NameFlavour(NameQ)
  )
import Language.Haskell.TH.Lib (thisModule)

LSLeary

module Triangles ((<|), (|>)) where

(<|) :: a -> Bool -> Maybe a
a <| True  = Just a
_ <| False = Nothing
infix 2 <|

(|>) :: Maybe a -> a -> a
Just a  |> _ = a
Nothing |> a = a

LSLeary

module Fresh
  ( Fresh, runFresh, withFresh
  ) where

import Data.Typeable

import Control.Monad.State (StateT, evalStateT, get, put)
import Control.Monad.Trans (MonadTrans)

LSLeary

{-# LANGUAGE DataKinds #-}

module Sub where


data Sub = S Sub

data Three (s :: Sub) a b c where
  One   :: a -> Three  s        a b c
  Two   :: b -> Three (S  s   ) a b c

LSLeary

module Cube where

import Data.Functor.Const (Const(..))
import Data.Functor.Product (Product(..))
import Data.Functor.Sum (Sum(..))


type (&&) = Product
type (||) = Sum

LSLeary

#! /usr/bin/env sh

# Example usage:
# $ watchfile Test.idr idris2 --check
# $ watchfile test.sh shellcheck


file=$1; shift
tmp="/tmp/watch.$(basename "$file")"

LSLeary

{-# LANGUAGE GeneralisedNewtypeDeriving, DerivingVia #-}
{-# LANGUAGE BlockArguments, LambdaCase, NamedFieldPuns #-}

module Control.Concurrent.IC
  ( Adaptive, adaptively
  , static, dynamic

  , ICVar, newICVar, newICVarIO

  , demand, propagate

LSLeary

module Strutless where

import XMonad
import XMonad.StackSet (RationalRect)
import qualified XMonad.StackSet as W

import Data.Set (Set)
import XMonad.Util.Types (Direction2D)
import XMonad.Util.Rectangle (toRatio)
import XMonad.Util.NamedScratchpad (customFloating)

LSLeary

#! /usr/bin/env sh

# Configuration: where PRs are written
prdir=$HOME/PRs

# Argument: the git rev or ref upon which the PR is based
base=$1


repo=$(basename "$(git rev-parse --show-toplevel)")