Skip to content

Instantly share code, notes, and snippets.

-- | Failed experiment in generically deriving a `Functor` instance.
-- | Requires PureScript HEAD (what will be 0.12), and still doesn't compile :/
module Data.Generic.Rep.Functor
( class GenericMap
, genericMap'
) where
import Prelude
import Data.Generic.Rep (class Generic, Argument(..), Constructor(..), Field(..), NoArguments(..), Product(..), Rec(..), Sum(..), from, to)
diff --git a/src/Jack/Seed.purs b/src/Jack/Seed.purs
index db308ac..73db0a3 100644
--- a/src/Jack/Seed.purs
+++ b/src/Jack/Seed.purs
@@ -19,20 +19,24 @@ module Jack.Seed (
, splitSeed
) where
+import Prelude
+
@zyla
zyla / gist:19bbe3f58f97bbb2bbc9956b8c4dc7ce
Created July 13, 2017 11:30
type errors from monad-classes
With import list
• Could not deduce (Control.Monad.Classes.Writer.MonadWriterN
(Control.Monad.Classes.Core.FindTrue
(Control.Monad.Classes.Core.MapCanDo
(Control.Monad.Classes.Effects.EffWriter [Bool]) m))
[Bool]
m)
arising from a use of ‘tell’
from the context: Monad m
#!/usr/bin/env python
import sys
import subprocess
import re
msg_file = sys.argv[1]
lines = list(open(msg_file))
if lines[0].startswith('TODO update'):
del lines[0]