RyanGlScott’s gists

RyanGlScott / foo.cabal

Created January 17, 2018 18:08

	-- Initial foo.cabal generated by cabal init. For further documentation,
	-- see http://haskell.org/cabal/users-guide/

	name: foo
	version: 0.1.0.0
	-- synopsis:
	-- description:
	license: BSD3
	license-file: LICENSE
	author: Ryan Scott

RyanGlScott / GenericForSomeGADTs.hs

Last active July 10, 2018 13:13

How to derive and use Generic instances for a subset of GADTs, using QuantifiedConstraints

	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE KindSignatures #-}
	{-# LANGUAGE QuantifiedConstraints #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}

RyanGlScott / Decidable.hs

Created February 14, 2018 17:54

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE EmptyCase #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE TypeFamilyDependencies #-}
	{-# LANGUAGE TypeInType #-}
	{-# LANGUAGE TypeOperators #-}

RyanGlScott / SingIForTyCons.hs

Last active March 13, 2019 19:03

Generic SingI instances for TyCons, using QuantifiedConstraints

	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE ExistentialQuantification #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE QuantifiedConstraints #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE StandaloneDeriving #-}
	{-# LANGUAGE TemplateHaskell #-}
	{-# LANGUAGE TypeApplications #-}

RyanGlScott / NewGenerics2.hs

Last active January 19, 2019 11:56

Replacing Functor contexts with quantified Coercible constraints

	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE QuantifiedConstraints #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE StandaloneDeriving #-}
	{-# LANGUAGE TypeFamilies #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE UndecidableInstances #-}
	{-# OPTIONS_GHC -Wall #-}
	-- \| Fleshing out a new design for Generic1 that doesn't use Functor contexts

RyanGlScott / SingConstrained.hs

Created March 5, 2018 21:44

https://github.com/goldfirere/singletons/issues/274

	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE TemplateHaskellQuotes #-}
	module SingConstrained where

	import Control.Monad.Extra
	import Data.List
	import Data.Singletons.Prelude
	import Language.Haskell.TH
	import Language.Haskell.TH.Datatype
	import Language.Haskell.TH.Desugar (tupleNameDegree_maybe, unboxedTupleNameDegree_maybe)

RyanGlScott / VerifiedMonoid.hs

Created March 22, 2018 23:29

	module Data.Monoid where

	{-@ LIQUID "--higherorder" @-}
	{-@ LIQUID "--exactdc" @-}

	import Prelude hiding (Maybe(..), Monoid (..))

	import Language.Haskell.Liquid.ProofCombinators

RyanGlScott / ExcludingEq.hs

Last active May 22, 2018 19:16

A way to generically derive instances and special-case behavior for certain types.

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE DerivingVia #-}
	{-# LANGUAGE EmptyCase #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE GADTs #-}

RyanGlScott / DependentComposition.hs

Last active May 21, 2018 12:55

Dependent composition?

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE CPP #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE GADTs #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE ScopedTypeVariables #-}
	{-# LANGUAGE TypeApplications #-}
	{-# LANGUAGE TypeFamilyDependencies #-}
	{-# LANGUAGE TypeInType #-}

RyanGlScott / Retrofunctor.hs

Last active September 21, 2019 15:48

Profunctors, but in the other direction

	module Retrofunctor where

	import Control.Applicative
	import Control.Arrow
	import Data.Bifunctor.Biff
	import Data.Bifunctor.Clown
	import Data.Bifunctor.Flip
	import Data.Bifunctor.Joker
	import Data.Bifunctor.Product
	import Data.Bifunctor.Sum

Ryan Scott RyanGlScott