pwm

{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}

module MtlExample where

pwm

{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE ScopedTypeVariables #-}

module NixOverlays where

import Data.Foldable (foldl')
import Data.Function (fix)
import qualified Data.HashMap.Lazy as HMap

pwm

This text now lives at https://github.com/MarcDiethelm/contributing/blob/master/README.md. I turned it into a Github repo so you can, you know, contribute to it by making pull requests.

---

Contributing

If you want to contribute to a project and make it better, your help is very welcome. Contributing is also a great way to learn more about social coding on Github, new technologies and and their ecosystems and how to make constructive, helpful bug reports, feature requests and the noblest of all contributions: a good, clean pull request.

pwm

{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE GADTs #-}

module Chaucer.UKTerrorism.JsonPatch where

import Build.Core.Prelude hiding (diff)
import Control.Lens
import Data.Aeson
import Data.Aeson.Diff hiding (Config)
import Data.Aeson.Diff.Generic

pwm

module JijoExample where

import Control.Category ((>>>))
import Data.Aeson
import Data.Aeson.Types
import qualified Data.ByteString.Lazy.Char8 as BSL
import Data.Scientific (Scientific)
import Data.Text (Text)
import qualified Data.Text as Text
import qualified Data.Text.Lazy.Encoding as Text

pwm

{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ExistentialQuantification #-}

-- https://www.cs.ox.ac.uk/jeremy.gibbons/publications/dgp.pdf - 5.6
module PTraverse where

import Control.Monad.State.Strict

pwm

module NegatePos where

import Control.Lens
import Data.Generics.Product

import Pos

negatePos :: Pos -> Pos
negatePos = position @1 %~ negate

pwm

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE AllowAmbiguousTypes #-}

module TDSL where

-- Our DSL
data Zero
data Succ a

pwm

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE StrictData #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DeriveAnyClass #-}

module ParseFoo where

import qualified Data.Text.Lazy.IO as T
import qualified Data.Text.Lazy.Encoding as T

pwm

{-# LANGUAGE InstanceSigs #-}

module Nat where

data Nat
  = Zero
  | Succ Nat
  deriving (Eq, Ord, Show)

class AdditiveSemigroup a where