Copyright | (C) 2019 QBayLogic |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | Orestis Melkonian <melkon.or@gmail.com> |
Safe Haskell | None |
Language | Haskell2010 |
Generic interface for Term types.
Documentation
class Eq (Ctx term) => Diff term where Source #
readHistory :: FilePath -> IO (History term (Ctx term)) Source #
readHistory :: (Binary term, Binary (Ctx term)) => FilePath -> IO (History term (Ctx term)) Source #
initialExpr :: History term (Ctx term) -> term Source #
handleAnn :: Ann term -> Either String (Ctx term) Source #
handleAnn :: Ann term ~ Ctx term => Ann term -> Either String (Ctx term) Source #
annStyles :: [(String, Attr)] Source #
initOptions :: Options term Source #
initOptions :: Default (Options term) => Options term Source #
flagFields :: [(Options term -> Bool, Options term -> Bool -> Options term, String)] Source #
Instances
(Show ctx, Show term) => Show (HStep term ctx) Source # | |
Generic (HStep term ctx) Source # | |
(Binary ctx, Binary term) => Binary (HStep term ctx) Source # | |
type Rep (HStep term ctx) Source # | |
Defined in Gen type Rep (HStep term ctx) = D1 (MetaData "HStep" "Gen" "rewrite-inspector-0.1.0.2-4e2YqUNvo1hHs4u6sG11pi" False) (C1 (MetaCons "HStep" PrefixI True) ((S1 (MetaSel (Just "_ctx") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [ctx]) :*: S1 (MetaSel (Just "_bndrS") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :*: (S1 (MetaSel (Just "_name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: (S1 (MetaSel (Just "_before") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 term) :*: S1 (MetaSel (Just "_after") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 term))))) |