Skip to content

Instantly share code, notes, and snippets.

View sheaf's full-sized avatar

sheaf sheaf

58 followers · 2 following
View GitHub Profile
@sheaf
sheaf / bug.hs
Created December 17, 2017 15:19
{-# LANGUAGE ScopedTypeVariables #-}
data I = I
class Inhabited t where
inhabitant :: t
instance Inhabited I where
inhabitant = I
@sheaf
sheaf / O2_bug.hs
Created December 26, 2017 16:28
module Main where
import Prelude hiding((*>), (<*))
type V3 = (Double, Double, Double)
infixl 6 <+>, <->
infixl 7 <.>
infix 8 <*, *>
@sheaf
sheaf / tuples.hs
Created April 13, 2019 19:49
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}
module Tuple where
@sheaf
sheaf / Shape.hs
Last active February 12, 2020 15:03
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE PolyKinds #-}
@sheaf
sheaf / HFold.hs
Last active February 12, 2020 15:03
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
@sheaf
sheaf / TraversalC.hs
Last active February 12, 2020 15:10
Using constrained traversals for resource management
{-# LANGUAGE
DataKinds
, DeriveGeneric
, DerivingStrategies
, FlexibleInstances
, FunctionalDependencies
, NamedFieldPuns
, RecordWildCards
, ScopedTypeVariables
, TypeApplications
@sheaf
sheaf / TrackedBuffers.hs
Last active June 1, 2020 21:10
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
@sheaf
sheaf / Ising.hs
Created November 18, 2020 12:36
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE NamedWildCards #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RebindableSyntax #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
@sheaf
sheaf / TAP.hs
Last active November 25, 2020 16:01
Using type applications in patterns to obtain the set of patterns tried in a pattern match at the type level
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE NamedWildCards #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE PartialTypeSignatures #-}
@sheaf
sheaf / InputData.hs
Last active June 20, 2021 22:07
data Controller = Slider | Toggle
data Ref = Value | Ref
type InputData :: Ref -> Type
type InputData ref =
Struct
'[ "mousePos" ':-> V 2 Float
, "scancodes" ':-> Array 512 Word32
-- , screensize ...
-- , time ...