Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type Id = String
- type SElsa = Elsa SourceSpan
- type SDefn = Defn SourceSpan
- type SExpr = Expr SourceSpan
- type SEval = Eval SourceSpan
- type SStep = Step SourceSpan
- type SBind = Bind SourceSpan
- type SEqn = Eqn SourceSpan
- type SResult = Result SourceSpan
- data Result a
- failures :: [Result a] -> [Id]
- successes :: [Result a] -> [Id]
- resultError :: Located a => Result a -> Maybe UserError
- mkErr :: Located a => a -> Text -> Maybe UserError
- data Elsa a = Elsa {}
- data Defn a = Defn !(Bind a) !(Expr a)
- data Eval a = Eval {}
- data Step a = Step !(Eqn a) !(Expr a)
- data Eqn a
- data Bind a = Bind Id a
- data Expr a
- data RExpr
- rExpr :: Expr a -> RExpr
- bkLam :: Expr a -> ([Bind a], Expr a)
- mkLam :: Monoid a => [Bind a] -> Expr a -> Expr a
- bindId :: Bind a -> Id
- class Tagged t where
- tag :: t a -> a
Documentation
Result
resultError :: Located a => Result a -> Maybe UserError Source #
Programs
Instances
Eq RExpr Source # | |
Generic RExpr Source # | |
Hashable RExpr Source # | |
Defined in Language.Elsa.Types | |
type Rep RExpr Source # | |
Defined in Language.Elsa.Types type Rep RExpr = D1 (MetaData "RExpr" "Language.Elsa.Types" "elsa-0.2.1.2-Jpn7BgfKoRXEmZ2dWqEY2w" False) (C1 (MetaCons "RVar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Id)) :+: (C1 (MetaCons "RLam" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Id) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RExpr)) :+: C1 (MetaCons "RApp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RExpr) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 RExpr)))) |
Tag Extraction