Documentation

head :: FunctorRec (f : fs) a -> f a Source

tail :: FunctorRec (f : fs) a -> FunctorRec fs a Source

cons :: f a -> FunctorRec fs a -> FunctorRec (f : fs) a Source

uncons :: FunctorRec (f : fs) a -> (f a, FunctorRec fs a) Source

append :: FunctorRec fs a -> FunctorRec gs a -> FunctorRec (fs ++ gs) a Source

singleton :: f a -> FunctorRec `[f]` a Source