Chris A. bitemyapp

Operational PGP

This is a guide on how to email securely.

There are many guides on how to install and use PGP to encrypt email. This is not one of them. This is a guide on secure communication using email with PGP encryption. If you are not familiar with PGP, please read another guide first. If you are comfortable using PGP to encrypt and decrypt emails, this guide will raise your security to the next level.

Optic Cookbook

The imports for building the various field-oriented optics are pretty minimal. It's not until you make a Getter or a Fold that you need to look outside of base.

This cookbook only covers the field oriented optics and not the constructor oriented ones. If you want to build a Prism or an Iso without a lens dependency, you should copy the definition of lens' prism and iso combinators and add a profunctors dependency to your project. Those two combinators are quite self-contained.

Various blog posts related to Nix and NixOS

General

https://nixos.org/wiki/Main_Page Nix wiki. Awesome resource containing huge amount of manuals and documentation with examples.
http://aflatter.de/nixos/ Alexander Flatter - NixOS. Installing NixOS inside a VirtualBox with a real-world configuration.nix example.
http://lethalman.blogspot.it/search/label/nixpills Luca Bruno - Nix Pills. Series of posts describing how to install nix into some environment and how to use it.
http://looprecur.com/blog/from-ubuntu-to-nixos/ Tim Sears - From Ubuntu to NixOS. Talk about experience migrating from Ubuntu to NixOS.

	{-# LANGUAGE RankNTypes #-}

	newtype State s a = State { runState :: forall r. s -> (a -> s -> r) -> r }

	stateReturn :: a -> State s a
	stateReturn a = State $ \s k -> k a s

	stateMap :: (a -> b) -> State s a -> State s b
	stateMap f (State sa) = State $ \s kb -> sa s (kb . f)

	{-# LANGUAGE RankNTypes #-}

	newtype State s a = State { runState :: forall r. s -> (a -> s -> r) -> r }

	stateReturn :: a -> State s a
	stateReturn = undefined

	stateMap :: (a -> b) -> State s a -> State s b
	stateMap = undefined

	data Query = Query
	data SomeObj = SomeObj
	data IoOnlyObj = IoOnlyObj
	data Err = Err

	-- There's a decoder function that makes some object from String
	decodeFn :: String -> Either Err SomeObj
	decodeFn = undefined

	-- There's a query, that runs against DB and returns array of strings

	http://www.jerf.org/iri/post/2908
	http://mwotton.github.com/hs_gbu/
	http://reddit.com/r/haskell/comments/y6i7d/do_we_have_real_world_examples_of_where_static/
	http://reddit.com/r/haskell/comments/12e3a0/the_good_the_bad_and_the_ugly_haskell_in/

	http://blog.codersbase.com/2010/09/composability-laziness-testing-and.html
	https://www.fpcomplete.com/user/imalsogreg/functional-programming-elevator-pitch
	http://evincarofautumn.blogspot.com/2012/07/so-i-write-compilers-for-living-now.html
	http://www.reddit.com/r/haskell/comments/2gz7s1/please_point_me_at_an_eloquent_paper_or_post_on/

	http://www.jerf.org/iri/post/2908
	http://mwotton.github.com/hs_gbu/
	http://reddit.com/r/haskell/comments/y6i7d/do_we_have_real_world_examples_of_where_static/
	http://reddit.com/r/haskell/comments/12e3a0/the_good_the_bad_and_the_ugly_haskell_in/

	http://blog.codersbase.com/2010/09/composability-laziness-testing-and.html
	https://www.fpcomplete.com/user/imalsogreg/functional-programming-elevator-pitch
	http://evincarofautumn.blogspot.com/2012/07/so-i-write-compilers-for-living-now.html
	http://www.reddit.com/r/haskell/comments/2gz7s1/please_point_me_at_an_eloquent_paper_or_post_on/

	class (Ord (Key table)) => OrderedKV table where
	type Key table :: *
	type Value table ::*
	type Address table :: *

	keyRange :: table -> (Key table, Key table)
	key2Address :: table -> (Key table) -> Maybe (Address table)
	address2Key :: table -> (Address table) -> Key Table
	nextAddress :: table -> Address table -> Maybe (Address table)
	nextKey :: table -> Key table -> Maybe (Address table) ->Maybe (Key table, Address table )

	{-# LANGUAGE DeriveDataTypeable #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE RecordWildCards #-}
	{-# LANGUAGE StandaloneDeriving #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE GeneralizedNewtypeDeriving #-}
	module Data.Haxl.Postgres.DataStoreExample