Safe Haskell | None |
---|---|
Language | Haskell2010 |
Opaleye.Internal.Unpackspec
Synopsis
- newtype Unpackspec fields fields' = Unpackspec (PackMap PrimExpr PrimExpr fields fields')
- unpackspecField :: Unpackspec (Field_ n a) (Field_ n a)
- runUnpackspec :: Applicative f => Unpackspec columns b -> (PrimExpr -> f PrimExpr) -> columns -> f b
- collectPEs :: Unpackspec s t -> s -> [PrimExpr]
Documentation
newtype Unpackspec fields fields' Source #
Constructors
Unpackspec (PackMap PrimExpr PrimExpr fields fields') | An For example, the Users should almost never need to create or manipulate
|
Instances
unpackspecField :: Unpackspec (Field_ n a) (Field_ n a) Source #
Target the single PrimExpr
inside a 'F.Field n'
runUnpackspec :: Applicative f => Unpackspec columns b -> (PrimExpr -> f PrimExpr) -> columns -> f b Source #
Modify all the targeted PrimExpr
s
collectPEs :: Unpackspec s t -> s -> [PrimExpr] Source #
Extract all the targeted PrimExpr
s