eo-phi-normalizer-3.2.0: Command line normalizer of 𝜑-calculus expressions.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.EO.Phi.TH

Documentation

defaultOptions' :: Options Source #

deriveJSON :: Name -> Q [Dec] Source #

deriveFromJSON :: Name -> Q [Dec] Source #