Safe Haskell	Safe-Inferred
Language	GHC2021

Haxible.Normalize

Description

This module is the core of Haxible.

Synopsis

normalizePlaybook :: [Play] -> [Definition]
data Definition = Definition {
- name :: Text
- requires :: [Resource]
- provides :: [Resource]
- outputs :: Environment
- playAttrs :: Vars
- exprs :: [Expr]
}
data Expr = Expr {
- binder :: Binder
- requires :: [Resource]
- provides :: [Resource]
- outputs :: Either Environment [Resource]
- requirements :: [Requirement]
- loop :: Maybe Value
- term :: Term
}
data Term
data CallModule = CallModule {
- module_ :: Text
- params :: Value
- taskAttrs :: Vars
}
data CallDefinition = CallDefinition {
- name :: Text
- taskAttrs :: Vars
- taskVars :: Vars
}
data Origin
- = Direct Binder
- | LoopVar
- | Nested Binder Int
data Requirement = Requirement {
- name :: Text
- origin :: Origin
}

Documentation

normalizePlaybook :: [Play] -> [Definition] Source #

Transform a list of Play into a list of Definition.

data Definition Source #

A definition is like a function, to represent a play, a role, or a list of tasks.

Constructors

Definition
Fields name :: Text requires :: [Resource] provides :: [Resource] outputs :: Environment playAttrs :: Vars exprs :: [Expr]

Instances

Instances details

Show Definition Source #
Instance details Defined in Haxible.Normalize Methods showsPrec :: Int -> Definition -> ShowS # show :: Definition -> String # showList :: [Definition] -> ShowS #
Eq Definition Source #
Instance details Defined in Haxible.Normalize Methods (==) :: Definition -> Definition -> Bool # (/=) :: Definition -> Definition -> Bool #

data Expr Source #

An expression is a single instruction.

Constructors

Expr
Fields binder :: Binder requires :: [Resource] provides :: [Resource] outputs :: Either Environment [Resource] requirements :: [Requirement] loop :: Maybe Value term :: Term

Instances

Instances details

Show Expr Source #
Instance details Defined in Haxible.Normalize Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Eq Expr Source #
Instance details Defined in Haxible.Normalize Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #

data Term Source #

A term is the expression value.

Constructors

ModuleCall CallModule
DefinitionCall CallDefinition
BlockRescueCall CallDefinition

Instances

Instances details

Show Term Source #
Instance details Defined in Haxible.Normalize Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
Eq Term Source #
Instance details Defined in Haxible.Normalize Methods (==) :: Term -> Term -> Bool # (/=) :: Term -> Term -> Bool #

data CallModule Source #

Constructors

CallModule
Fields module_ :: Text params :: Value taskAttrs :: Vars

Instances

Instances details

Show CallModule Source #
Instance details Defined in Haxible.Normalize Methods showsPrec :: Int -> CallModule -> ShowS # show :: CallModule -> String # showList :: [CallModule] -> ShowS #
Eq CallModule Source #
Instance details Defined in Haxible.Normalize Methods (==) :: CallModule -> CallModule -> Bool # (/=) :: CallModule -> CallModule -> Bool #

data CallDefinition Source #

Constructors

CallDefinition
Fields name :: Text taskAttrs :: Vars taskVars :: Vars

Instances

Instances details

Show CallDefinition Source #
Instance details Defined in Haxible.Normalize Methods showsPrec :: Int -> CallDefinition -> ShowS # show :: CallDefinition -> String # showList :: [CallDefinition] -> ShowS #
Eq CallDefinition Source #
Instance details Defined in Haxible.Normalize Methods (==) :: CallDefinition -> CallDefinition -> Bool # (/=) :: CallDefinition -> CallDefinition -> Bool #

data Origin Source #

Constructors

Direct Binder
LoopVar
Nested Binder Int

Instances

Instances details

Show Origin Source #
Instance details Defined in Haxible.Normalize Methods showsPrec :: Int -> Origin -> ShowS # show :: Origin -> String # showList :: [Origin] -> ShowS #
Eq Origin Source #
Instance details Defined in Haxible.Normalize Methods (==) :: Origin -> Origin -> Bool # (/=) :: Origin -> Origin -> Bool #

data Requirement Source #

The requirements indicates what binders are used by an expression.

Constructors

Requirement
Fields name :: Text origin :: Origin

Instances

Instances details

Show Requirement Source #
Instance details Defined in Haxible.Normalize Methods showsPrec :: Int -> Requirement -> ShowS # show :: Requirement -> String # showList :: [Requirement] -> ShowS #
Eq Requirement Source #
Instance details Defined in Haxible.Normalize Methods (==) :: Requirement -> Requirement -> Bool # (/=) :: Requirement -> Requirement -> Bool #