packages feed

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'))