| {-# LANGUAGE | |
| GADTs | |
| , DataKinds | |
| , PolyKinds | |
| , RankNTypes | |
| , TypeOperators | |
| , KindSignatures | |
| , TypeApplications | |
| , FlexibleContexts | |
| , FlexibleInstances |
| -- see: http://matt.might.net/articles/cps-conversion | |
| {-# OPTIONS_GHC -Wall #-} | |
| {-# LANGUAGE OverloadedStrings #-} | |
| import Data.Monoid | |
| import Data.Text (Text) | |
| import qualified Data.Text as T | |
| import Data.Unique | |
| import qualified Text.PrettyPrint.Leijen.Text as PP |
| import Numeric.Natural (Natural) | |
| import qualified Data.Semigroup | |
| -- | @fibonacci n@ computes the @nth@ fibonacci number efficiently using infinite | |
| -- precision integer arithmetic | |
| -- | |
| -- Try @fibonacci 1000000@ | |
| fibonacci :: Natural -> Natural | |
| fibonacci n = x01 (Data.Semigroup.mtimesDefault n m) |
Ripgrep is a fast search tool like grep. It's mostly a drop-in replacement for ag, also know as the Silver Searcher.
helm-ag is a fantastic package for Emacs that allows you to display search results in a buffer.
You can also jump to locations of matches. Despite the name, helm-ag works with ripgrep (rg) as well
as with ag.
This are notes for configuration thinkfan for Fedora. This configuration procedure was followed on a Lenovo Thinkpad X1 Carbon (5th Gen) running Fedora 25.
Non standard (default) configuration was required for this machine as the default sensors are not available. Eg: /proc/acpi/ibm/thermal does not exist for this model.
An annoted configuration file has been included below. However, there is no guarentee that this will work as-is on every machine.
dnf -y install thinkfan| {-# LANGUAGE Arrows #-} | |
| {-# LANGUAGE ConstraintKinds #-} | |
| {-# LANGUAGE FlexibleContexts #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE InstanceSigs #-} | |
| {-# LANGUAGE LambdaCase #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} |
Disclaimer 1: Type classes are great but they are not the right tool for every job. Enjoy some balance and balance to your balance.
Disclaimer 2: I should tidy this up but probably won’t.
Disclaimer 3: Yeah called it, better to be realistic.
Type classes are a language of their own, this is an attempt to document features and give a name to them.
| {-# LANGUAGE GADTs #-} | |
| {-# LANGUAGE PolyKinds #-} | |
| {-# LANGUAGE FunctionalDependencies #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE TypeOperators #-} | |
| {-# LANGUAGE DataKinds #-} | |
| {-# LANGUAGE KindSignatures #-} | |
| {-# LANGUAGE TemplateHaskell #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE OverloadedLabels #-} |
| {-# LANGUAGE CPP #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| {-# LANGUAGE FlexibleInstances, FlexibleContexts #-} | |
| {-# LANGUAGE DataKinds, GADTs, KindSignatures, TypeOperators, UndecidableInstances #-} | |
| #if __GLASGOW_HASKELL__ < 708 | |
| #error "requires GHC 7.10 or newer" | |
| #endif | |
| module Main (main) where |
With the release of hoogle5, we can now hoogle all local packages.
This let us implement stack hoogle, which is on the master
branch of stack, but is not yet on a stack release. We'd like you to
try it out before we do!
To upgrade to the latest stack from git, use:
