Facebook
From Corrupt Motmot, 5 Years ago, written in Plain Text.
This paste is a reply to Re: Untitled from Melodic Hamerkop - go back
Embed
Viewing differences between Re: Untitled and Re: Re: Untitled
leftA :: Auto a q -> Auto a (Either q r) 
leftA (A s ini ac t) = (A st init acc tr) where        
        st = map (Left) s
        init = map (Left) ini
        acc = either ac (\x->False)
        tr (Left s) w = map (Left) (t s w)
        tr (Right s) w = []