| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Vinyl.Derived
- type PlainRec el = Rec el Identity
- type LazyPlainRec el = Rec el Thunk
- type FieldRec = Rec ElField
- type PlainFieldRec = Rec ElField Identity
- type HList = Rec Id Identity
- type LazyHList = Rec Id Thunk
- toPlainRec :: (forall f. Applicative f => Rec el f rs) -> PlainRec el rs
- toLazyPlainRec :: (forall f. Applicative f => Rec el f rs) -> LazyPlainRec el rs
Documentation
type LazyPlainRec el = Rec el Thunk Source
type PlainFieldRec = Rec ElField Identity Source
toPlainRec :: (forall f. Applicative f => Rec el f rs) -> PlainRec el rs Source
Fixes a polymorphic record into the Identity functor.
toLazyPlainRec :: (forall f. Applicative f => Rec el f rs) -> LazyPlainRec el rs Source