Skip to content

Instantly share code, notes, and snippets.

View sheaf's full-sized avatar

sheaf sheaf

46 followers · 2 following
View GitHub Profile
@sheaf
sheaf / RoundTripBinary.hs
Created April 15, 2024 15:48
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralisedNewtypeDeriving #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeOperators #-}
@sheaf
sheaf / Shape.hs
Last active September 13, 2022 10:48
Shape and contents of a traversable value (cofree traversable)
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveTraversable #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE PolyKinds #-}
@sheaf
sheaf / Bind.hs
Created January 26, 2022 13:57
GHC bug 21010 reproducer
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeFamilies #-}
module Bind ( CBind(..) ) where
import BindA ( WrapMono(..), Constrained(Dom), withMonoCoercible )
class CBind m where
(>>-) :: (Dom m a, Dom m b) => m a -> (a -> m b) -> m b
@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 ...
@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 / 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 / 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 / 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 / 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 / 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 #-}