Data.Compress.Utils.Misc

Definitions

take_last : Nat -> SnocList a -> Maybe (List a)

Visibility: export

stream_concat : Stream (List a) -> Stream a

Visibility: export

index_may : Nat -> List a -> Maybe a

Visibility: export

count : Ord a => List a -> List (a, Nat)

Visibility: export