reflectionwithoutremorse

reflectionwithoutremorse copied to clipboard

LogicT isn't lazy enough

4

I would expect that ```hsskell (pure 1 pure 2) undefined :: Logic ``` would be able to produce 1 and 2 before failing, but in fact it can only produce...

treeowl

Okasaki bootstraps with possibly-empty queues solely to reduce syntactic clutter, as he indicates in the first part of the relevant section. Since this is a library and not a book,...

treeowl

Make Data.LowerTSequence more efficient

3

Currently, you use ``` haskell data AsUnitLoop a b c where UL :: !a -> AsUnitLoop a () () newtype MSeq s a = MSeq { getMS :: s (AsUnitLoop...

treeowl

Make type-aligned sequences polykinded

1

There's no sense in requiring the type indices to be of kind `*`. Adding `{-# LANGUAGE PolyKinds #-}` to appropriate places will fix this. I can try to open a...

treeowl