Documentation

d_split_20 :: T_Level_14 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30] Source #

du_split_20 :: (AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30] Source #

d_flatten_86 :: T_Level_14 -> () -> T_Level_14 -> T_Level_14 -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> [T__'8846'__30] -> [AgdaAny] Source #

du_flatten_86 :: [T__'8846'__30] -> [AgdaAny] Source #

d_flatten'45'split_92 :: T_Level_14 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> T__'8801'__12 Source #

d_wordsBy_154 :: T_Level_14 -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [T_List'8314'_24] Source #

du_wordsBy_154 :: (AgdaAny -> Bool) -> [AgdaAny] -> [T_List'8314'_24] Source #