Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Util.Args

valuenoDefault :: Defaults t

typetype Complete (args :: (Type -> Type) -> k) = args Identity

datadata Defaults (t :: k)

Instances2Functor, MapHKD

Functor DefaultsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Args
MapHKD DefaultsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Args

familytype family HKD (f :: Type -> Type) a where

typetype Incomplete (args :: (Type -> Type) -> k) = args Defaults

classclass MapHKD (f :: Type -> Type) where

Instances2MapHKD

MapHKD IdentityDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Args
MapHKD DefaultsDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.Args