mstksg

aahed
aalii
aargh
aarti
abaca
abaci
abacs
abaft
abaka
abamp

mstksg

###############
#d.ABC.#.....a#
######...######
######.@.######
######...######
#b.....#.....c#
###############

(0,Nothing)
|

mstksg

 ## 
#  #
#  #
####
#  #
#  #

### 
#  #
### 

mstksg

{-# LANGUAGE KindSignatures       #-}
{-# LANGUAGE TypeFamilies         #-}
{-# LANGUAGE TypeInType           #-}
{-# LANGUAGE TypeOperators        #-}
{-# LANGUAGE UndecidableInstances #-}

-- Type-level parser combinators for parsing type-level token streams
--
-- See this in action at https://github.com/mstksg/typelits-printf/blob/047682afaba97a4a67197a8deb44fb8ee83b87a7/src/GHC/Typelits/Printf/Parse.hs

mstksg

# Haskell stack project Github Actions template
# https://gist.github.com/mstksg/11f753d891cee5980326a8ea8c865233
#
# To use, mainly change the list in 'plans' and modify 'include' for
# any OS package manager deps.
#
# Currently not working for cabal-install >= 3
#
# Based on https://raw.githubusercontent.com/commercialhaskell/stack/stable/doc/travis-complex.yml
#

mstksg

-- Instructions for running
-- 
-- If GHC haskell is installed:
--
-- $ runhaskell id3.hs
--
-- Have fun!
--
-- On some occasions, 'containers' package might need to be installed;
-- in that case, install with

mstksg

#!/usr/bin/env stack
-- stack --install-ghc ghci --package ad --package lens --package vinyl --package reflection --package tagged --package transformers --package vector

{-# LANGUAGE BangPatterns                   #-}
{-# LANGUAGE ExistentialQuantification      #-}
{-# LANGUAGE FlexibleContexts               #-}
{-# LANGUAGE FlexibleInstances              #-}
{-# LANGUAGE GADTs                          #-}
{-# LANGUAGE KindSignatures                 #-}
{-# LANGUAGE LambdaCase                     #-}

mstksg

#!/usr/bin/env stack
-- stack --install-ghc ghci --package data-reify

{-# LANGUAGE InstanceSigs        #-}
{-# LANGUAGE RankNTypes          #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications    #-}
{-# LANGUAGE TypeFamilies        #-}

import           Data.Reify

mstksg

ghci> :kind! View FirstFieldSym0 '(1, True)
1
ghci> :kind! Over SecondFieldSym0 NotSym0 '(1, True)
'(1, False)

mstksg

import           Data.Bifunctor (first)
import           Data.List      (foldl')

type Diff a = [a] -> [a]

match :: [a] -> Either () ([a], a)
match = (fmap . first) ($[])    -- extract the Diff list
      . foldl' go (Left ())
  where
    go  :: Either () (Diff a, a)