aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/Declarations/rope-uncons.hs
{- ORACLE_TEST pass -}
unconsRope :: Rope -> Maybe (Char, Rope)
unconsRope text =
let x = unRope text
in case F.viewl x of
F.EmptyL -> Nothing
(F.:<) piece x' ->
case S.uncons piece of
Nothing -> Nothing
Just (c, piece') -> Just (c, Rope ((F.<|) piece' x'))