Skip to content

Instantly share code, notes, and snippets.

View mizunashi-mana's full-sized avatar
💭
I may be slow to respond.

Mizunashi Mana mizunashi-mana

💭
I may be slow to respond.
49 followers · 18 following
View GitHub Profile
@mizunashi-mana
mizunashi-mana / StateVSIORef.hs
Created February 8, 2019 07:49
お試し with unboxed-ref inspired by https://qiita.com/mod_poppo/items/03fc14f693b601e0a00f
{-# LANGUAGE LambdaCase #-}
module Bench.StateVSIORef where
import Data.IORef
import Data.IORef.Unboxed
import Control.Monad.State.Strict
n :: Int
@mizunashi-mana
mizunashi-mana / StateVSIORef.hs
Created February 7, 2019 15:19
お試し2 inspired by https://qiita.com/mod_poppo/items/03fc14f693b601e0a00f
{-# LANGUAGE LambdaCase #-}
module Bench.StateVSIORef where
import Data.IORef
import Control.Monad.State.Strict
n :: Int
n = 2 ^ (31 :: Int)
@mizunashi-mana
mizunashi-mana / StateVSIORef.hs
Created February 7, 2019 12:55
お試し inspired by https://qiita.com/mod_poppo/items/03fc14f693b601e0a00f
module Bench.StateVSIORef where
import Data.IORef
import Control.Monad.State.Strict
n :: Int
n = 10000 * 10000
rotate :: [a] -> [a]
@mizunashi-mana
mizunashi-mana / NaiveParser.hs
Created January 31, 2019 10:24
module NaiveParser where
import Control.Monad
import Data.Maybe (fromMaybe)
import Text.ParserCombinators.Parsec
data Block = List [Block] | ListItem String
deriving Show
@mizunashi-mana
mizunashi-mana / Makefile
Created January 11, 2019 12:23
競技プログラミング用Makefile
CC := cc
CXX := c++
GHC := ghc
RUSTC := rustc
JAVAC := javac
CPPFLAGS :=
CFLAGS := -std=c99
CXXFLAGS := -std=c++14
@mizunashi-mana
mizunashi-mana / AutoDerive.hs
Created December 21, 2018 07:22
{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE QuantifiedConstraints #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
@mizunashi-mana
mizunashi-mana / LICENSE.md
Last active December 2, 2018 06:30
Notice template (this template is licensed under the CC0.)

CC0

Mizunashi Mana has waived all copyright and related or neighboring rights to MPL Notice Template.

@mizunashi-mana
mizunashi-mana / ConduitCerealExt.hs
Last active August 28, 2018 15:41
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE BangPatterns #-}
module ConduitCerealExt where
import Control.Exception.Base
import Control.Monad.Trans.Resource (MonadThrow, throwM)
import qualified Data.ByteString as BS
@mizunashi-mana
mizunashi-mana / Without.hs
Last active May 18, 2018 06:29
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
@mizunashi-mana
mizunashi-mana / WithRecursion.hs
Last active April 12, 2018 13:49
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE PatternSynonyms #-}
module WithRecursion where
-- | With recursive
newtype K a r = K a
newtype I r = I r
data (f * g) r = Pair (f r) (g r)
data (f + g) r = InL (f r) | InR (g r)