module SRLatch where

srBody :: [Bool] -> [Bool] -> [Bool] -> [Bool]
srBody (x:xs) (s:ss) (r:rs) = error "TODO"

expected = [False,True,False,False,True,True,False,False]
actual = take 8 (srBody x s r)
  where
    s = False : False : False : False : True : True : True : True : s
    r = False : False : True : True : r
    x = False : True : x

pass = expected == actual