Spaces.idr

module Spaces

import Lightyear.Char
import Lightyear.Combinators
import Lightyear.Core
import Lightyear.Strings

toomany : Either String (List Char)
toomany = parse (many $ char ' ') "  "

{- 
$ idris -p lightyear
Idris> :l Spaces.idr 
Type checking ./Spaces.idr
*Spaces> toomany 
case case " " of
       Delay (PT g) => g r (us . f') (cs . f') ue ce of
  Id r => case r of
            Success _ x => Right x
            Failure es => Left (formatError s es) : Either String (List Char)
-}