| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Util.DepPair
Synopsis
- type DepPair = GenDepPair I
- data GenDepPair g f where
- GenDepPair ∷ !(f a) → !(g a) → GenDepPair g f
- pattern DepPair ∷ f a → a → DepPair f
- depPairFirst ∷ (∀ a. f a → f' a) → GenDepPair g f → GenDepPair g f'
- class SameDepIndex f where
- sameDepIndex ∷ f a → f b → Maybe (a :~: b)
- class TrivialDependency f where
- type TrivialIndex f ∷ Type
- hasSingleIndex ∷ f a → f b → a :~: b
- indexIsTrivial ∷ f (TrivialIndex f)
- fromTrivialDependency ∷ TrivialDependency f ⇒ f a → a → TrivialIndex f
- toTrivialDependency ∷ TrivialDependency f ⇒ f a → TrivialIndex f → a
- data Proxy (t ∷ k) = Proxy
- data (a ∷ k) :~: (b ∷ k) where
Dependent pairs
type DepPair = GenDepPair I Source #
Dependent pair
A dependent pair is a pair of values where the type of the value depends on the first value.
data GenDepPair g f where Source #
Generalization of DepPair
This adds an additional functor g around the second value in the pair.
Constructors
| GenDepPair ∷ !(f a) → !(g a) → GenDepPair g f |
Instances
depPairFirst ∷ (∀ a. f a → f' a) → GenDepPair g f → GenDepPair g f' Source #
Compare indices
class SameDepIndex f where Source #
Minimal complete definition
Nothing
Methods
sameDepIndex ∷ f a → f b → Maybe (a :~: b) Source #
default sameDepIndex ∷ TrivialDependency f ⇒ f a → f b → Maybe (a :~: b) Source #
Instances
Trivial dependency
class TrivialDependency f where Source #
A dependency is trivial if it always maps to the same type b
Associated Types
type TrivialIndex f ∷ Type Source #
Instances
| TrivialDependency (NestedCtxt_ blk f) ⇒ TrivialDependency (NestedCtxt f blk) Source # | |
Defined in Ouroboros.Consensus.Block.NestedContent Associated Types type TrivialIndex (NestedCtxt f blk) Source # Methods hasSingleIndex ∷ NestedCtxt f blk a → NestedCtxt f blk b → a :~: b Source # indexIsTrivial ∷ NestedCtxt f blk (TrivialIndex (NestedCtxt f blk)) Source # | |
fromTrivialDependency ∷ TrivialDependency f ⇒ f a → a → TrivialIndex f Source #
toTrivialDependency ∷ TrivialDependency f ⇒ f a → TrivialIndex f → a Source #
Convenience re-exports
Proxy is a type that holds no data, but has a phantom parameter of
arbitrary type (or even kind). Its use is to provide type information, even
though there is no value available of that type (or it may be too costly to
create one).
Historically, Proxy :: Proxy aundefined :: a
>>>Proxy :: Proxy (Void, Int -> Int)Proxy
Proxy can even hold types of higher kinds,
>>>Proxy :: Proxy EitherProxy
>>>Proxy :: Proxy FunctorProxy
>>>Proxy :: Proxy complicatedStructureProxy
Constructors
| Proxy |
Instances
data (a ∷ k) :~: (b ∷ k) where infix 4 #
Propositional equality. If a :~: b is inhabited by some terminating
value, then the type a is the same as the type b. To use this equality
in practice, pattern-match on the a :~: b to get out the Refl constructor;
in the body of the pattern-match, the compiler knows that a ~ b.
Since: base-4.7.0.0
Instances
| Category ((:~:) ∷ k → k → Type) | Since: base-4.7.0.0 |
| TestEquality ((:~:) a ∷ k → Type) | Since: base-4.7.0.0 |
Defined in Data.Type.Equality | |
| GCompare ((:~:) a ∷ k → Type) | |
| GEq ((:~:) a ∷ k → Type) | |
| GRead ((:~:) a ∷ k → Type) | |
Defined in Data.GADT.Internal | |
| GShow ((:~:) a ∷ k → Type) | |
Defined in Data.GADT.Internal | |
| NFData2 ((:~:) ∷ Type → Type → Type) | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| NFData1 ((:~:) a) | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| a ~ b ⇒ Bounded (a :~: b) | Since: base-4.7.0.0 |
| a ~ b ⇒ Enum (a :~: b) | Since: base-4.7.0.0 |
| a ~ b ⇒ Read (a :~: b) | Since: base-4.7.0.0 |
| Show (a :~: b) | Since: base-4.7.0.0 |
| NFData (a :~: b) | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| Eq (a :~: b) | Since: base-4.7.0.0 |
| Ord (a :~: b) | Since: base-4.7.0.0 |
Defined in Data.Type.Equality | |