| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Michelson.Typed.Extract
Synopsis
- data TypeConvergeError
- extractNotes :: Type -> Sing t -> Either TypeConvergeError (Notes t)
- fromUType :: HasCallStack => Type -> T
- mkUType :: Sing x -> Notes x -> Type
- toUType :: T -> Type
Documentation
data TypeConvergeError Source #
Constructors
| TypeConvergeError T T | |
| TParameterConvergeError | |
| TStorageConvergeError |
Instances
| Eq TypeConvergeError Source # | |
Defined in Michelson.Typed.Extract Methods (==) :: TypeConvergeError -> TypeConvergeError -> Bool # (/=) :: TypeConvergeError -> TypeConvergeError -> Bool # | |
| Show TypeConvergeError Source # | |
Defined in Michelson.Typed.Extract Methods showsPrec :: Int -> TypeConvergeError -> ShowS # show :: TypeConvergeError -> String # showList :: [TypeConvergeError] -> ShowS # | |
| Buildable TypeConvergeError Source # | |
Defined in Michelson.Typed.Extract Methods build :: TypeConvergeError -> Builder # | |
extractNotes :: Type -> Sing t -> Either TypeConvergeError (Notes t) Source #
Extracts Notes t type from Type and corresponding
singleton.