| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Control.Provide.ARec
Documentation
data ARecProvider (tctx :: k) (recVal :: k1) Source #
Instances
| (Reifies recVal (ARec (ProviderField tctx) items), RecElem (ARec :: (Type -> Type) -> [Type] -> Type) key key items items (RIndex key items)) => Provides (ARecProvider tctx recVal) key Source # | |
Defined in Control.Provide.ARec Methods provided :: ValueType (ProviderTypeContext (ARecProvider tctx recVal)) key Source # | |
| type ProviderTypeContext (ARecProvider tctx recVal) Source # | |
Defined in Control.Provide.ARec | |
newtype ProviderField tctx key Source #
Constructors
| ProviderField | |
Fields
| |
provideARec :: forall tctx (items :: [Type]) r. (NatToInt (RLength items), ToARec items) => Rec (ProviderField tctx) items -> (forall recVal. Reifies recVal (ARec (ProviderField tctx) items) => Proxy (ARecProvider tctx recVal) -> r) -> r Source #