Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 #
Instances
Eq TypeConvergeError Source # | |
Defined in Michelson.Typed.Extract (==) :: TypeConvergeError -> TypeConvergeError -> Bool # (/=) :: TypeConvergeError -> TypeConvergeError -> Bool # | |
Show TypeConvergeError Source # | |
Defined in Michelson.Typed.Extract showsPrec :: Int -> TypeConvergeError -> ShowS # show :: TypeConvergeError -> String # showList :: [TypeConvergeError] -> ShowS # | |
Buildable TypeConvergeError Source # | |
Defined in Michelson.Typed.Extract build :: TypeConvergeError -> Builder # |
extractNotes :: Type -> Sing t -> Either TypeConvergeError (Notes t) Source #
Extracts Notes t
type from Type
and corresponding
singleton.