• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for morley-1.15.0 source tarball

morley-1.15.0/

• CHANGES.md
• LICENSE
• README.md
• Setup.hs
• morley.cabal
• app/
  • Main.hs
  • REPL.hs
• docs/
  • michelsonTypes.md
  • morleyInterpreter.md
  • morleyRuntime.md
  • morleyTypechecker.md
  • language/
    • morleyInstructions.md
    • morleyLanguage.md
    • morleyLet.md
    • morleyMacros.md
    • morleySyntaxSugar.md
• doctests/
  • Main.hs
• src/
  • Michelson/
    • Analyzer.hs
    • Doc.hs
    • ErrorPos.hs
    • FailPattern.hs
    • Interpret.hs
    • Let.hs
    • Macro.hs
    • Optimizer.hs
    • Parser.hs
    • Preprocess.hs
    • Printer.hs
    • Runtime.hs
    • Text.hs
    • TypeCheck.hs
    • Typed.hs
    • Untyped.hs
    • Interpret/
      • Pack.hs
      • Unpack.hs
      • Utils.hs
    • Parser/
      • Annotations.hs
      • Error.hs
      • Ext.hs
      • Helpers.hs
      • Instr.hs
      • Let.hs
      • Lexer.hs
      • Macro.hs
      • Type.hs
      • Types.hs
      • Value.hs
    • Printer/
      • Util.hs
    • Runtime/
      • Dummy.hs
      • GState.hs
      • Import.hs
      • TxData.hs
    • TypeCheck/
      • Error.hs
      • Ext.hs
      • Helpers.hs
      • Instr.hs
      • TypeCheck.hs
      • TypeCheckedOp.hs
      • TypeCheckedSeq.hs
      • Types.hs
      • Value.hs
    • Typed/
      • Aliases.hs
      • Annotation.hs
      • Arith.hs
      • Convert.hs
      • Doc.hs
      • Entrypoints.hs
      • Existential.hs
      • Extract.hs
      • Haskell.hs
      • Instr.hs
      • OpSize.hs
      • Origination.hs
      • Polymorphic.hs
      • Scope.hs
      • Sing.hs
      • T.hs
      • TypeLevel.hs
      • Util.hs
      • Value.hs
      • Haskell/
        • Compatibility.hs
        • Doc.hs
        • Instr.hs
        • LooseSum.hs
        • ValidateDescription.hs
        • Value.hs
        • Instr/
          • Helpers.hs
          • Product.hs
          • Sum.hs
    • Untyped/
      • Aliases.hs
      • Annotation.hs
      • Contract.hs
      • Entrypoints.hs
      • Ext.hs
      • Instr.hs
      • OpSize.hs
      • Type.hs
      • Value.hs
  • Morley/
    • CLI.hs
    • Micheline.hs
    • Micheline/
      • Binary.hs
      • Class.hs
      • Expression.hs
      • Json.hs
  • Tezos/
    • Address.hs
    • Core.hs
    • Crypto.hs
    • Crypto/
      • BLS12381.hs
      • Ed25519.hs
      • Hash.hs
      • P256.hs
      • Secp256k1.hs
      • Util.hs
  • Util/
    • Aeson.hs
    • Alternative.hs
    • Binary.hs
    • ByteString.hs
    • CLI.hs
    • CustomGeneric.hs
    • Default.hs
    • Exception.hs
    • Fcf.hs
    • Generic.hs
    • Instances.hs
    • Label.hs
    • Lens.hs
    • Main.hs
    • Markdown.hs
    • Named.hs
    • Num.hs
    • Peano.hs
    • PeanoNatural.hs
    • Positive.hs
    • Sing.hs
    • TH.hs
    • Text.hs
    • Type.hs
    • TypeLits.hs
    • TypeTuple.hs
    • Typeable.hs
    • TypeTuple/
      • Class.hs
      • Instances.hs
      • TH.hs