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

Directory listing for morley-1.20.0 source tarball

morley-1.20.0/

• CHANGES.md
• LICENSE
• README.md
• Setup.hs
• morley.cabal
• app/
  • Main.hs
• docs/
  • michelsonTypes.md
  • morleyInterpreter.md
  • morleyRuntime.md
  • morleyTypechecker.md
• src/
  • Morley/
    • AsRPC.hs
    • CLI.hs
    • Micheline.hs
    • App/
      • CLI.hs
      • REPL.hs
    • Micheline/
      • Binary.hs
      • Class.hs
      • Expression.hs
      • Json.hs
      • Binary/
        • Internal.hs
      • Expression/
        • WithMeta.hs
        • Internal/
          • MichelinePrimitive.hs
          • TH.hs
    • Michelson/
      • Analyzer.hs
      • Doc.hs
      • ErrorPos.hs
      • FailPattern.hs
      • Interpret.hs
      • Macro.hs
      • Optimizer.hs
      • Parser.hs
      • Preprocess.hs
      • Printer.hs
      • Runtime.hs
      • Text.hs
      • TypeCheck.hs
      • Typed.hs
      • Untyped.hs
      • Internal/
        • ViewName.hs
        • ViewsSet.hs
      • Interpret/
        • Pack.hs
        • Unpack.hs
        • Utils.hs
      • Optimizer/
        • Utils.hs
        • Internal/
          • Proofs.hs
          • Rules.hs
          • Ruleset.hs
      • Parser/
        • Annotations.hs
        • Common.hs
        • Error.hs
        • Helpers.hs
        • Instr.hs
        • Lexer.hs
        • Macro.hs
        • Type.hs
        • Types.hs
        • Value.hs
      • Printer/
        • Util.hs
      • Runtime/
        • Dummy.hs
        • GState.hs
        • Import.hs
        • RunCode.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
        • AnnotatedValue.hs
        • Annotation.hs
        • Arith.hs
        • ClassifiedInstr.hs
        • Contract.hs
        • Convert.hs
        • Doc.hs
        • Entrypoints.hs
        • Existential.hs
        • Extract.hs
        • Haskell.hs
        • Instr.hs
        • Operation.hs
        • Polymorphic.hs
        • Scope.hs
        • Sing.hs
        • T.hs
        • TypeLevel.hs
        • Util.hs
        • Value.hs
        • View.hs
        • ClassifiedInstr/
          • Internal/
            • InstrEnum.hs
            • MainImpl.hs
            • TH.hs
            • Types.hs
            • WithClassifiedInstr.hs
            • Classifiers/
              • HasAnns.hs
              • IsAlwaysFailing.hs
              • IsMichelson.hs
              • NumChildren.hs
        • Haskell/
          • Compatibility.hs
          • Doc.hs
          • Instr.hs
          • LooseSum.hs
          • ValidateDescription.hs
          • Value.hs
          • Instr/
            • Helpers.hs
            • Product.hs
            • Sum.hs
        • Instr/
          • Constraints.hs
          • Internal/
            • Proofs.hs
        • Scope/
          • Internal/
            • CheckScope.hs
            • Comparable.hs
            • ForbidT.hs
            • Presence.hs
            • Scopes.hs
            • TH.hs
            • WellTyped.hs
            • WithDeMorganScope.hs
      • Untyped/
        • Aliases.hs
        • Annotation.hs
        • Contract.hs
        • Entrypoints.hs
        • Ext.hs
        • HoistInstr.hs
        • Instr.hs
        • Type.hs
        • Value.hs
        • View.hs
    • Tezos/
      • Address.hs
      • Core.hs
      • Crypto.hs
      • Address/
        • Alias.hs
        • Kinds.hs
      • Crypto/
        • BLS.hs
        • BLS12381.hs
        • Ed25519.hs
        • Hash.hs
        • P256.hs
        • Secp256k1.hs
        • Timelock.hs
        • Util.hs
    • Util/
      • Aeson.hs
      • Bimap.hs
      • Binary.hs
      • ByteString.hs
      • CLI.hs
      • Constrained.hs
      • CustomGeneric.hs
      • Default.hs
      • Exception.hs
      • Fcf.hs
      • Generic.hs
      • Instances.hs
      • Interpolate.hs
      • Label.hs
      • Lens.hs
      • Main.hs
      • Markdown.hs
      • MismatchError.hs
      • MultiReader.hs
      • Named.hs
      • Peano.hs
      • PeanoNatural.hs
      • ShowType.hs
      • Sing.hs
      • SizedList.hs
      • StubbedProof.hs
      • TH.hs
      • Text.hs
      • Type.hs
      • TypeLits.hs
      • TypeTuple.hs
      • Typeable.hs
      • Interpolate/
        • Internal.hs
      • SizedList/
        • Types.hs
      • TypeTuple/
        • Class.hs
        • Instances.hs
        • TH.hs