Skip to content

Instantly share code, notes, and snippets.

Juan Pablo Royo jproyo

Block or report user

Report or block jproyo

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
jproyo /
Last active Jun 14, 2019
Tips for working with Emacs in Haskell. Usefull commands

Tips for Spacemacs with Haskell

  • C-c C-l => Load ghci in place with the current buffer
  • <SPC> C-r => Reformat region hindent
  • , F => Format imports
  • , f => hindent
  • , r b => hlint refactor buffer
  • , r s => suggestions
  • , r r => refactor at point
  • , h i => info at point
jproyo / .stylish-haskell.yaml
Last active Jun 14, 2019
My Haskell Stylish custom config
View .stylish-haskell.yaml
# stylish-haskell configuration file
# ==================================
# The stylish-haskell tool is mainly configured by specifying steps. These steps
# are a list, so they have an order, and one specific step may appear more than
# once (if needed). Each file is processed by these steps in the given order.
# Convert some ASCII sequences to their Unicode equivalents. This is disabled
# by default.
# - unicode_syntax:
jproyo /
Created May 20, 2019
Install deps for spacemacs
stack install apply-refact hlint stylish-haskell hasktags hoogle intero hindent ispell
brew install ispell
jproyo / Data.hs
Last active Oct 2, 2019
Tagless Final Encoding in Haskell Example
View Data.hs
{-# LANGUAGE GeneralisedNewtypeDeriving #-}
module Data where
type UserName = String
data DataResult = DataResult String
deriving (Eq, Show)
class Monad m => Cache m where
jproyo / ghci.conf
Last active Jan 20, 2019
Local Ghci configuration
View ghci.conf
:set prompt "λx.x> "
:set prompt-cont " > "
:set -XNoStarIsType
:set -XGADTSyntax
:set -XGeneralizedNewtypeDeriving
:set -XInstanceSigs
:set -XLambdaCase
:set -XPartialTypeSignatures
:set -XScopedTypeVariables
:set -XTypeApplications
jproyo / cats_syntax.scala
Created Dec 6, 2018
Add syntactic sugar to Cats Scala Type Classes combinators - Syntax
View cats_syntax.scala
import cats.syntax.apply._
IO.shift *> task
// equivalent to
implicitly[ContextShift[IO]].shift *> task
jproyo / gist:28faf139bad26517f45755db21b59f6b
Created Jul 5, 2016 — forked from eduardocardoso/gist:82a629882ddb02ab3677
Script to delete exited containers and untagged/unused images from docker
View gist:28faf139bad26517f45755db21b59f6b
set -o errexit
echo "Removing exited docker containers..."
docker ps -a -f status=exited -q | xargs -r docker rm -v
echo "Removing dangling images..."
docker images --no-trunc -q -f dangling=true | xargs -r docker rmi
jproyo / prepare-commit-msg
Created May 28, 2013
Prepare Commit Message with Prepend Branch named for Git
View prepare-commit-msg
NAME=$(git branch | grep '*' | sed 's/* //')
echo "[#$NAME"': '$(cat "$1")"]" > "$1"
jproyo /
Created Nov 16, 2012
moves a folder from one git repo into another repo with history intact
# Usage:
# ./ origin/folder/path/ /destination/repo/path/ new/folder/path/
View git-log-config
git config --global alias.lg "log --color --graph --pretty=format:'%Cred%h%Creset -%C(yellow)%d%Creset %s %Cgreen(%cr) %C(bold blue)%Creset' --abbrev-commit"
git lg -g (To see file changes)
You can’t perform that action at this time.