| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Vinyl.Plus.Functor.Prelude
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