pire-0.2.5

Safe HaskellNone
LanguageHaskell2010

Samples.Take

Synopsis

Documentation

take_ :: Size String Source #

>>> pp $ fst $ rinfer $ inferD tprelude  $ listtakedef
take = \[a] [m] n xs . case n of
         Zero -> Nil  
         Succ n' -> case xs of
           Cons [plus n' m] x xs' -> Cons [n'] x (take [a] [m] n' xs')