:: t -> t1 -> t package:yaya

at :: (Recursive (->) n Maybe, Projectable (->) s ((,) a)) => n -> s -> a
yaya Yaya.Applied
Extracts the element at a finite index of an infinite sequence (a !! that can't fail).
take :: (Recursive (->) n Maybe, Projectable (->) s ((,) a), Steppable (->) l (XNor a)) => n -> s -> l
yaya Yaya.Applied
Extracts _exactly_ n elements from the infinite stream s.
takeUpTo :: (Recursive (->) n Maybe, Projectable (->) s (XNor a), Steppable (->) l (XNor a)) => n -> s -> l
yaya Yaya.Applied
Extracts _no more than_ n elements from the possibly-infinite sequence s.
reifyUpTo :: (Recursive (->) n Maybe, Projectable (->) s f, Steppable (->) l (FreeF f s), Functor f) => n -> s -> l
yaya Yaya.Applied
truncate :: (Recursive (->) n Maybe, Projectable (->) t f, Steppable (->) u (FreeF f ()), Functor f) => n -> t -> u
yaya Yaya.Applied
Lops off the branches of the tree below a certain depth, turning a potentially-infinite structure into a finite one. Like a generalized take.