| {-# LANGUAGE StandaloneDeriving, DataKinds, PolyKinds, GADTs, RankNTypes, TypeOperators, FlexibleContexts, TypeFamilies, KindSignatures #-} | |
| -- http://www.timphilipwilliams.com/posts/2013-01-16-fixing-gadts.html | |
| module HRecursionSchemes where | |
| import Control.Applicative | |
| import Data.Functor.Identity | |
| import Data.Functor.Const | |
| import Text.PrettyPrint.Leijen hiding ((<>)) |
| {-# LANGUAGE | |
| UndecidableInstances, RankNTypes, TypeOperators, TypeFamilies, | |
| StandaloneDeriving, DataKinds, PolyKinds, DeriveFunctor, DeriveFoldable, | |
| DeriveTraversable, LambdaCase, PatternSynonyms, TemplateHaskell #-} | |
| import Control.Monad | |
| import Control.Applicative | |
| import Data.Singletons.TH | |
| {-# LANGUAGE GADTs #-} | |
| -- | Toy instructional example of GADTs: simple dynamic types. | |
| -- | |
| -- Before tackling this, skim the GHC docs section on GADTs: | |
| -- | |
| -- <http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#gadt> | |
| -- | |
| -- As you read this example keep in mind this quote from the | |
| -- docs: "The key point about GADTs is that /pattern matching |
o you've contributed some code to an open source project, say, Rails. And they'd like you to squash all of the commits in your pull request. But you're not a git wizard; how do you make this happen?
Normally, you'd do something like this. I'm assuming upstream is a git remote that is pointing at the official project repository, and that your changes are in your 'omgpull' branch:
