| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Elsa.Types
Synopsis
- type Id = String
- type SElsaItem = ElsaItem SourceSpan
- 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 ElsaItem a
- data Elsa a = Elsa {}
- data Defn a = Defn !(Bind a) !(Expr a)
- data EvalKind
- data Eval a = Eval {}
- data Step a = Step !(Eqn a) !(Expr a)
- data EqnOp
- data NormCheck
- data Eqn a = Eqn EqnOp (Maybe NormCheck) 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 :: Type -> Type) where
- tag :: t a -> a
Documentation
Result
Constructors
| OK (Bind a) | |
| Partial (Bind a) a | |
| Invalid (Bind a) a | |
| Unbound (Bind a) Id a | |
| DupDefn (Bind a) a | |
| DupEval (Bind a) a |
resultError :: Located a => Result a -> Maybe UserError Source #