Skip to content

Instantly share code, notes, and snippets.

View kcsongor's full-sized avatar
🤡
':<>:

Csongor Kiss kcsongor

🤡
':<>:
319 followers · 52 following
View GitHub Profile
@kcsongor
kcsongor / Stuck.hs
Created December 28, 2017 00:18
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
module Stuck where
data Tag = Tag
type family Fam :: k -> Tag -> k
@kcsongor
kcsongor / Bifunctor.hs
Last active October 7, 2019 23:04
Derive Bifunctor with GHC.Generics
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeOperators #-}
module Bifunctor where
@kcsongor
kcsongor / BifunctorNoIncoherent.hs
Created January 1, 2018 08:52
Derive Bifunctor with Generics (no incoherent instances)
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeApplications #-}
@kcsongor
kcsongor / Curry-tf.hs
Last active May 19, 2018 18:16
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
@kcsongor
kcsongor / Elem.hs
Last active May 19, 2018 18:16
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE RankNTypes, TypeApplications, TypeInType, TypeOperators,
ScopedTypeVariables, TypeFamilies, UndecidableInstances,
GADTs, ConstraintKinds, AllowAmbiguousTypes #-}
module Elem where
import Data.Type.Equality
import Data.Kind
@kcsongor
kcsongor / Reified.hs
Last active May 19, 2018 18:16
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE TypeFamilies #-}
@kcsongor
kcsongor / iTunes.vim
Created March 10, 2018 14:55
Vim: Get currently playing song from iTunes
function! s:current_track()
let queries = ['album of the current track',
\ 'artist of the current track',
\ 'name of the current track',
\ 'the player position']
let query = "osascript -s s -e 'tell application \"iTunes\" to return "
\ . join(queries, ' & "----" & ') . "'"
let song_info = split(split(system(query), "\n")[0][1:-1], "----")
return { 'album' : song_info[0],
@kcsongor
kcsongor / Fold.hs
Last active April 16, 2018 16:09
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
module Fold where
data Nat = Z | S Nat
@kcsongor
kcsongor / gmap.hs
Created June 5, 2018 19:26
gmap.hs
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE InstanceSigs #-}
{-# LANGUAGE KindSignatures #-}
@kcsongor
kcsongor / Inhabited.hs
Last active July 8, 2018 21:15
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeInType, GADTs, TypeOperators #-}
module Lib where
import Data.Kind (Type)
data Cat (a :: ()) (b :: ()) where
MkCat :: Cat '() '()
class Category (k :: t -> t -> Type) where
identity :: k a a