Chase TotallyNotChase

⌛

Time ain't on my side

Don't ya love the smell of bugs and glitches in the mornin'

TotallyNotChase / type.hs

Created March 5, 2022 11:01

pepega

	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE StandaloneKindSignatures #-}
	{-# LANGUAGE TypeFamilyDependencies #-}
	{-# LANGUAGE TypeOperators #-}
	{-# LANGUAGE UndecidableInstances #-}

	import Prelude (Bool (True, False))

	import Data.Kind (Type)

TotallyNotChase / GCLI.hs

Last active April 2, 2022 07:53

Basic CLI generics-sop

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE DeriveAnyClass #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE PolyKinds #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE ScopedTypeVariables #-}

TotallyNotChase / Woes.lhs

Last active October 1, 2022 11:07

Servant woes

	Servant woes for future me to figure out
	========================================

	```sh
	stack ghci Woes.lhs \
	--package servant \
	--package servant-client-core \
	--package servant-client \
	--package text
	```