Safe Haskell	Safe-Inferred
Language	GHC2021

Charon.Backend.Rosetta

Synopsis

Documentation

Rosetta is used to convert from/to backend. If we want to covert backends b -> c, we essentially do c.fromRosetta (b.toRosetta()).

Constructors

MkRosetta
Fields index :: Index size :: Bytes B Natural

Instances details

Show Rosetta Source #
Instance details Defined in Charon.Backend.Rosetta Methods showsPrec :: Int -> Rosetta -> ShowS # show :: Rosetta -> String # showList :: [Rosetta] -> ShowS #
Eq Rosetta Source #
Instance details Defined in Charon.Backend.Rosetta Methods (==) :: Rosetta -> Rosetta -> Bool # (/=) :: Rosetta -> Rosetta -> Bool #
(k ~ A_Lens, a ~ Index, b ~ Index) => LabelOptic "index" k Rosetta Rosetta a b Source #
Instance details Defined in Charon.Backend.Rosetta Methods labelOptic :: Optic k NoIx Rosetta Rosetta a b Source #
(k ~ A_Lens, a ~ Bytes 'B Natural, b ~ Bytes 'B Natural) => LabelOptic "size" k Rosetta Rosetta a b Source #
Instance details Defined in Charon.Backend.Rosetta Methods labelOptic :: Optic k NoIx Rosetta Rosetta a b Source #