Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

#### Instances

IsKey () (Var a :: Type) Source # | |

(HasCodec a, Member (Tagged 'QueryAndMempool (ReadStore :: (Type -> Type) -> Type -> Type)) r) => HasQueryRouter (StoreLeaf (Var a) :: Type) r Source # | |

Defined in Tendermint.SDK.BaseApp.Query.Store routeQ :: Proxy (StoreLeaf (Var a)) -> Proxy r -> Delayed (Sem r) env QueryRequest (RouteQ (StoreLeaf (Var a)) (QueryEffs :& r)) -> Router env r QueryRequest Query Source # hoistQueryRouter :: forall (s :: EffectRow) (s' :: EffectRow). Proxy (StoreLeaf (Var a)) -> Proxy r -> (forall a0. Sem s a0 -> Sem s' a0) -> RouteQ (StoreLeaf (Var a)) s -> RouteQ (StoreLeaf (Var a)) s' Source # | |

type Value () (Var a :: Type) Source # | |

Defined in Tendermint.SDK.BaseApp.Store.Var | |

type RouteQ (StoreLeaf (Var a) :: Type) r Source # | |

makeFullStoreKey :: Var a -> StoreKey Source #

deleteVar :: Member WriteStore r => Var a -> Sem r () Source #