src/Data/Seq2.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE TypeFamilies #-}

module Data.Seq2 where


class Seq2 outer inner where
  type Element inner

  split2
    :: (Element inner -> Bool)
    -> outer inner
    -> [outer inner]