module SRLatch where

srBody :: [Bool] -> [Bool] -> [Bool] -> [Bool]
srBody x s r = undefined
-- You may like to replace x, s, r by patterns of your choice.

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