| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Description
Witness isomorphism between b and HardForkBlock '[b]
Synopsis
- class Isomorphic f where
- project ∷ NoHardForks blk ⇒ f (HardForkBlock '[blk]) → f blk
- inject ∷ NoHardForks blk ⇒ f blk → f (HardForkBlock '[blk])
- inject' ∷ ∀ proxy f x y blk. (Isomorphic f, NoHardForks blk, Coercible x (f blk), Coercible y (f (HardForkBlock '[blk]))) ⇒ proxy (f blk) → x → y
- project' ∷ ∀ proxy f x y blk. (Isomorphic f, NoHardForks blk, Coercible x (f (HardForkBlock '[blk])), Coercible y (f blk)) ⇒ proxy (f blk) → x → y
- data ProjHardForkQuery b ∷ Type → Type where
- ProjHardForkQuery ∷ BlockQuery b result' → ProjHardForkQuery b (HardForkQueryResult '[b] result')
- injNestedCtxt ∷ NestedCtxt f blk a → NestedCtxt f (HardForkBlock '[blk]) a
- injQuery ∷ BlockQuery b result → BlockQuery (HardForkBlock '[b]) (HardForkQueryResult '[b] result)
- injQueryResult ∷ result → HardForkQueryResult '[b] result
- projNestedCtxt ∷ NestedCtxt f (HardForkBlock '[blk]) a → NestedCtxt f blk a
- projQuery ∷ BlockQuery (HardForkBlock '[b]) result → (∀ result'. (result :~: HardForkQueryResult '[b] result') → BlockQuery b result' → a) → a
- projQuery' ∷ BlockQuery (HardForkBlock '[b]) result → ProjHardForkQuery b result
- projQueryResult ∷ HardForkQueryResult '[b] result → result
- newtype I a = I a
- data Proxy (t ∷ k) = Proxy
Documentation
class Isomorphic f where Source #
Methods
project ∷ NoHardForks blk ⇒ f (HardForkBlock '[blk]) → f blk Source #
inject ∷ NoHardForks blk ⇒ f blk → f (HardForkBlock '[blk]) Source #
Instances
inject' ∷ ∀ proxy f x y blk. (Isomorphic f, NoHardForks blk, Coercible x (f blk), Coercible y (f (HardForkBlock '[blk]))) ⇒ proxy (f blk) → x → y Source #
project' ∷ ∀ proxy f x y blk. (Isomorphic f, NoHardForks blk, Coercible x (f (HardForkBlock '[blk])), Coercible y (f blk)) ⇒ proxy (f blk) → x → y Source #
Dependent types
data ProjHardForkQuery b ∷ Type → Type where Source #
Constructors
| ProjHardForkQuery ∷ BlockQuery b result' → ProjHardForkQuery b (HardForkQueryResult '[b] result') |
injNestedCtxt ∷ NestedCtxt f blk a → NestedCtxt f (HardForkBlock '[blk]) a Source #
injQuery ∷ BlockQuery b result → BlockQuery (HardForkBlock '[b]) (HardForkQueryResult '[b] result) Source #
Inject BlockQuery
Not an instance of Isomorphic because the types change.
injQueryResult ∷ result → HardForkQueryResult '[b] result Source #
projNestedCtxt ∷ NestedCtxt f (HardForkBlock '[blk]) a → NestedCtxt f blk a Source #
projQuery ∷ BlockQuery (HardForkBlock '[b]) result → (∀ result'. (result :~: HardForkQueryResult '[b] result') → BlockQuery b result' → a) → a Source #
Project BlockQuery
Not an instance of Isomorphic because the types change.
projQuery' ∷ BlockQuery (HardForkBlock '[b]) result → ProjHardForkQuery b result Source #
projQueryResult ∷ HardForkQueryResult '[b] result → result Source #
Convenience exports
The identity type functor.
Like Identity, but with a shorter name.
Constructors
| I a |
Instances
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
| Generic1 (Proxy ∷ k → Type) | |
| RepeatWithIndex Void (Proxy ∷ Type → Type) | |
| SemialignWithIndex Void (Proxy ∷ Type → Type) | |
Defined in Data.Semialign.Internal | |
| ZipWithIndex Void (Proxy ∷ Type → Type) | |
| Foldable (Proxy ∷ Type → Type) | Since: base-4.7.0.0 |
Defined in Data.Foldable Methods fold ∷ Monoid m ⇒ Proxy m → m # foldMap ∷ Monoid m ⇒ (a → m) → Proxy a → m # foldMap' ∷ Monoid m ⇒ (a → m) → Proxy a → m # foldr ∷ (a → b → b) → b → Proxy a → b # foldr' ∷ (a → b → b) → b → Proxy a → b # foldl ∷ (b → a → b) → b → Proxy a → b # foldl' ∷ (b → a → b) → b → Proxy a → b # foldr1 ∷ (a → a → a) → Proxy a → a # foldl1 ∷ (a → a → a) → Proxy a → a # elem ∷ Eq a ⇒ a → Proxy a → Bool # maximum ∷ Ord a ⇒ Proxy a → a # | |
| Eq1 (Proxy ∷ Type → Type) | Since: base-4.9.0.0 |
| Ord1 (Proxy ∷ Type → Type) | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
| Read1 (Proxy ∷ Type → Type) | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
| Show1 (Proxy ∷ Type → Type) | Since: base-4.9.0.0 |
| Contravariant (Proxy ∷ Type → Type) | |
| Traversable (Proxy ∷ Type → Type) | Since: base-4.7.0.0 |
| Alternative (Proxy ∷ Type → Type) | Since: base-4.9.0.0 |
| Applicative (Proxy ∷ Type → Type) | Since: base-4.7.0.0 |
| Functor (Proxy ∷ Type → Type) | Since: base-4.7.0.0 |
| Monad (Proxy ∷ Type → Type) | Since: base-4.7.0.0 |
| MonadPlus (Proxy ∷ Type → Type) | Since: base-4.9.0.0 |
| NFData1 (Proxy ∷ Type → Type) | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| Hashable1 (Proxy ∷ Type → Type) | |
Defined in Data.Hashable.Class | |
| Align (Proxy ∷ Type → Type) | |
Defined in Data.Semialign.Internal | |
| Repeat (Proxy ∷ Type → Type) | |
Defined in Data.Semialign.Internal | |
| Semialign (Proxy ∷ Type → Type) | |
| Unalign (Proxy ∷ Type → Type) | |
| Unzip (Proxy ∷ Type → Type) | |
| Zip (Proxy ∷ Type → Type) | |
| Monoid (Proxy s) | Since: base-4.7.0.0 |
| Semigroup (Proxy s) | Since: base-4.9.0.0 |
| Bounded (Proxy t) | Since: base-4.7.0.0 |
| Enum (Proxy s) | Since: base-4.7.0.0 |
Defined in Data.Proxy | |
| Generic (Proxy t) | |
| Ix (Proxy s) | Since: base-4.7.0.0 |
| Read (Proxy t) | Since: base-4.7.0.0 |
| Show (Proxy s) | Since: base-4.7.0.0 |
| NFData (Proxy a) | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| Eq (Proxy s) | Since: base-4.7.0.0 |
| Ord (Proxy s) | Since: base-4.7.0.0 |
| Hashable (Proxy a) | |
| Serialise (Proxy a) | Since: serialise-0.2.0.0 |
| type Rep1 (Proxy ∷ k → Type) | Since: base-4.6.0.0 |
| type Rep (Proxy t) | Since: base-4.6.0.0 |