From 31df8f05ad202dbc2b5a83595df38c45b0a67f5e Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 9 Mar 2017 14:17:33 -0500 Subject: [PATCH] Define a For effect. --- src/SES/Myers.hs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/SES/Myers.hs b/src/SES/Myers.hs index 5ea8405e6..a419c6508 100644 --- a/src/SES/Myers.hs +++ b/src/SES/Myers.hs @@ -11,6 +11,10 @@ data MyersF a where MiddleSnake :: Vector.Vector a -> Vector.Vector a -> MyersF (Snake, EditDistance) FindDPath :: Direction -> EditDistance -> Diagonal -> MyersF Endpoint +data For a where + For :: [a] -> For a + Continue :: For a + data StepF a where M :: MyersF a -> StepF a S :: State MyersState a -> StepF a