| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Cubix.Language.SuiMove.ParsePretty
Contents
Description
ParseFile and Pretty instances for Sui Move IPS
This module provides the interface for parsing Sui Move files directly into the IPS (Incremental Parametric Syntax) representation.
Synopsis
- parseSuiMove :: FilePath -> IO (Maybe (MSuiMoveTerm (RootSort MSuiMoveSig)))
- prettySuiMove :: MSuiMoveTerm SourceFileL -> String
Documentation
parseSuiMove :: FilePath -> IO (Maybe (MSuiMoveTerm (RootSort MSuiMoveSig))) #
Parse a Sui Move file into IPS representation
prettySuiMove :: MSuiMoveTerm SourceFileL -> String #
Pretty-print a Sui Move IPS term back to source code
Orphan instances
| ParseFile MSuiMoveSig # | |
Methods parseFile :: FilePath -> IO (Maybe (Term MSuiMoveSig (RootSort MSuiMoveSig))) # | |
| Pretty MSuiMoveSig # | |
Methods pretty :: Term MSuiMoveSig (RootSort MSuiMoveSig) -> String # prettyUnsafe :: Term MSuiMoveSig l -> String # | |