From 9a94dddd2b8acdbab7ac38e1cb1b29fd1bff8fce Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 22 Jul 2016 15:57:47 -0400 Subject: [PATCH] Define GSequenceable over Rec1. --- src/Data/Sequenceable/Generic.hs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Data/Sequenceable/Generic.hs b/src/Data/Sequenceable/Generic.hs index 20122614a..cc986c3c9 100644 --- a/src/Data/Sequenceable/Generic.hs +++ b/src/Data/Sequenceable/Generic.hs @@ -22,3 +22,6 @@ instance GSequenceable Par1 where instance GSequenceable (K1 i c) where gsequenceAlt (K1 a) = pure (K1 a) + +instance GSequenceable f => GSequenceable (Rec1 f) where + gsequenceAlt (Rec1 a) = Rec1 <$> gsequenceAlt a