kana-sama’s gists

kana-sama / lib - Plugin.hs

Last active April 12, 2022 09:27

early exit

	{-# LANGUAGE BlockArguments #-}
	{-# LANGUAGE DeriveDataTypeable #-}
	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE ImportQualifiedPost #-}
	{-# LANGUAGE PatternSynonyms #-}
	{-# LANGUAGE StandaloneDeriving #-}
	{-# LANGUAGE ViewPatterns #-}

	module Plugin where

kana-sama / not-so-free-monad-default-options.hs

Last active April 6, 2022 19:11

	{-# LANGUAGE BlockArguments #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE LambdaCase #-}

	import Control.Monad (ap)
	import System.IO (Handle, IOMode (ReadMode, WriteMode), hGetLine, hPutStrLn, stdin, stdout, withFile)

	data MyIO a
	= Pure a

kana-sama / Main.hs

Last active February 19, 2022 12:50

subfield

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE DuplicateRecordFields #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE FunctionalDependencies #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE MultiParamTypeClasses #-}

kana-sama / schema.hs

Last active February 17, 2022 18:01

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE DefaultSignatures #-}
	{-# LANGUAGE DeriveAnyClass #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE FunctionalDependencies #-}

kana-sama / Main-resume.hs

Last active December 14, 2021 00:22

schenario

	{-# LANGUAGE BlockArguments #-}
	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE DataKinds #-}
	{-# LANGUAGE DeriveAnyClass #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE DerivingVia #-}
	{-# LANGUAGE FlexibleInstances #-}
	{-# LANGUAGE GADTs #-}

kana-sama / exceptions.hs

Created December 4, 2021 21:55

	{-# LANGUAGE AllowAmbiguousTypes #-}
	{-# LANGUAGE BlockArguments #-}
	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE DeriveAnyClass #-}
	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE FlexibleContexts #-}
	{-# LANGUAGE ImportQualifiedPost #-}
	{-# LANGUAGE MultiParamTypeClasses #-}
	{-# LANGUAGE PartialTypeSignatures #-}
	{-# LANGUAGE RankNTypes #-}

kana-sama / Main.hs

Last active December 17, 2021 13:15

haskell logger handle pattern

	{-# LANGUAGE BlockArguments #-}
	{-# LANGUAGE NoFieldSelectors #-}
	{-# LANGUAGE OverloadedRecordDot #-}
	{-# LANGUAGE ConstraintKinds #-}
	{-# LANGUAGE ImplicitParams #-}
	{-# LANGUAGE NamedFieldPuns #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE DuplicateRecordFields #-}

	import Control.Concurrent.Async (async, wait, mapConcurrently_)

kana-sama / Main.hs

Last active November 11, 2021 00:16

encoder/decoder symmetry

	{-# LANGUAGE BlockArguments #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE DerivingStrategies #-}

	import Data.List (stripPrefix)

	class Contra f where
	comap :: (b -> a) -> (f a -> f b)

	(>$<) :: Contra f => (b -> a) -> (f a -> f b)

kana-sama / Bin.hs

Last active November 3, 2021 18:13

binary-v3

	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE ImportQualifiedPost #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE PatternSynonyms #-}
	{-# LANGUAGE TemplateHaskell #-}
	{-# LANGUAGE ViewPatterns #-}

	module Bin (BinarySegment (..), bin) where

	import Control.Monad (guard)

kana-sama / Bin.hs

Created November 2, 2021 20:28

binary-v2

	{-# LANGUAGE DerivingStrategies #-}
	{-# LANGUAGE ImportQualifiedPost #-}
	{-# LANGUAGE PatternSynonyms #-}
	{-# LANGUAGE TemplateHaskell #-}
	{-# LANGUAGE ViewPatterns #-}

	module Bin (BinarySegment (..), bin) where

	import Control.Applicative ((<\|>))
	import Control.Monad (guard)

kana kana-sama