Skip to content

Instantly share code, notes, and snippets.

View itsfarseen's full-sized avatar

Farseen itsfarseen

64 followers · 114 following
View GitHub Profile
@itsfarseen
itsfarseen / MyState.hs
Last active January 6, 2020 09:34 — forked from merijn/MyState.hs
MyState homework solution
data MyState s a = MyState (s -> (a,s))
get :: MyState s s
get = MyState (\s -> (s, s))
put :: s -> MyState s ()
put s = MyState (\_ -> ((), s))
modify :: (s -> s) -> MyState s ()
modify f = MyState (\s -> ((), f s))
@itsfarseen
itsfarseen / Foo.hs
Created February 6, 2020 06:16
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE NoStarIsType #-}
{-# LANGUAGE DuplicateRecordFields #-}
import Data.Proxy
data Var =
@itsfarseen
itsfarseen / Singleton.hs
Created February 7, 2020 17:30
{-# OPTIONS_GHC -Werror=incomplete-patterns #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE NoStarIsType #-}
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE PolyKinds #-}
import Data.List
@itsfarseen
itsfarseen / TypeLevelStackOverflow.hs
Created February 7, 2020 17:54
{-# OPTIONS_GHC -Werror=incomplete-patterns #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE NoStarIsType #-}
import Data.List
data VarChecked (s :: VarState) (t :: VarType) =
@itsfarseen
itsfarseen / skolem-rigid.hs
Created February 14, 2020 05:25
data DataType
= DataTypeInt
| DataTypeBool
deriving (Eq)
data SDataType (t :: DataType) where
SDataTypeInt :: SDataType DataTypeInt
SDataTypeBool :: SDataType DataTypeBool
data SDataType' where
@itsfarseen
itsfarseen / Test.hs
Last active March 4, 2020 18:46
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE GADTs #-}
data Bar s = Bar
class Value s where
@itsfarseen
itsfarseen / Test.hs
Last active March 5, 2020 05:19
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
import Data.List
@itsfarseen
itsfarseen / Test.hs
Created March 5, 2020 06:08
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds #-}
@itsfarseen
itsfarseen / Test.hs
Created March 5, 2020 08:37
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
@itsfarseen
itsfarseen / Test5.hs
Created March 8, 2020 04:24
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}