plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Paths_plutus_metatheory

Documentation

version ∷ Version Source #

getBinDir ∷ IO FilePath Source #

getLibDir ∷ IO FilePath Source #

getDynLibDir ∷ IO FilePath Source #

getDataDir ∷ IO FilePath Source #

getLibexecDir ∷ IO FilePath Source #

getDataFileName ∷ FilePath → IO FilePath Source #

getSysconfDir ∷ IO FilePath Source #