Skip to content

Instantly share code, notes, and snippets.

View RyanGlScott's full-sized avatar

Ryan Scott RyanGlScott

261 followers · 0 following
View GitHub Profile
@RyanGlScott
RyanGlScott / Heterogeneous.hs
Last active July 10, 2017 22:35
A library of combinators for dealing with heterogeneous equality
{-# LANGUAGE CPP #-}
{-# LANGUAGE ExplicitNamespaces #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE TypeOperators #-}
module {-Data.Type.Equality.-}Heterogeneous (
-- * The heterogeneous equality types
(:~~:)(..), type (~~),
@RyanGlScott
RyanGlScott / IndEven.hs
Last active September 7, 2017 16:54
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
@RyanGlScott
RyanGlScott / GPMP2.hs
Last active March 13, 2019 19:05
Generic programming with multiple parameters
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
@RyanGlScott
RyanGlScott / Sample.hs
Created September 14, 2017 18:29
{-# LANGUAGE GADTs #-}
module Sample where
data Result s a where
-- = Ok a
Ok :: a -> Result s a
returnResult :: a -> Result s a
returnResult x = Ok x
@RyanGlScott
RyanGlScott / FromList.hs
Last active September 30, 2017 22:21
{-# LANGUAGE GADTs #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE TypeOperators #-}
module Main (main) where
import Data.Kind
import Data.List
import Data.Singletons.Prelude
import Data.Singletons.Prelude.List
@RyanGlScott
RyanGlScott / LibData.hs
Created October 8, 2017 15:54
This file has been truncated, but you can view the full file.
module LibData
( load
) where
import qualified Data.Text as T
data LValue =
PlainL !T.Text
| PlainLL !T.Text !T.Text
| TypedL !T.Text !T.Text
@RyanGlScott
RyanGlScott / HListShorthand.hs
Last active May 3, 2018 17:33
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilyDependencies #-}
@RyanGlScott
RyanGlScott / VecShorthand.hs
Last active March 13, 2019 19:04
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilyDependencies #-}
{-# LANGUAGE TypeInType #-}
@RyanGlScott
RyanGlScott / gist:983615212cb872b03e4c3dfcfda6e546
Created November 12, 2017 16:18
How to "fix" libstdc++.dll.a on GHC 8.2.1 to build llvm-hs libraries
ar dv "C:/Users/RyanGlScott/Software/ghc-8.2.1/mingw/bin/../lib/gcc/x86_64-w64-mingw32/6.2.0/libstdc++.dll.a" d005844.o d005845.o
@RyanGlScott
RyanGlScott / SigmaExample.hs
Last active November 16, 2017 21:26
Sigma types in Haskell
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PackageImports #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeInType #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -Wall #-}