Opaleye.Internal.PackMap

Documentation

data PackMap a b s t

Constructors

PackMap (Applicative f => (a -> f b) -> s -> f t)

Instances

ProductProfunctor (PackMap a b)

Profunctor (PackMap a b)

Functor (PackMap a b s)

Applicative (PackMap a b s)

packmap :: Applicative f => PackMap a b s t -> (a -> f b) -> s -> f t

over :: PackMap a b s t -> (a -> b) -> s -> t

type PM a = State (a, Int)

new :: PM a String

write :: a -> PM [a] ()

run :: PM [a] r -> (r, [a])

extractAttr :: String -> Tag -> a -> PM [(Symbol, a)] PrimExpr

extractAttrPE :: (a -> String -> String) -> Tag -> a -> PM [(Symbol, a)] PrimExpr