Fugue.AWS.IAM.Typed.Wildcard

Module Members

isWildcard

(Function)

return True if a string is a wildcard

Type Signature

 fun (String) -> Bool
Argument: s
Type: String
Returns:
Type: Bool

listToWildcard

(Function)

convert a list of wildcards to a wildcard list

Type Signature

 fun (List<Wildcard<a>>) -> Wildcard<List<a>>
Argument: xs
Type: List<Wildcard<a>>
Returns:
Type: Wildcard<List<a>>

map

(Function)

apply a given function if a non-wildcard value is specified

Type Signature

 fun (fun (a) -> b, Wildcard<a>) -> Wildcard<b>
Argument: f
Type: fun ( a) -> b
Argument: x
Type: Wildcard<a>
Returns:
Type: Wildcard<b>

parseWildcard

(Function)

Given a function for converting a JSON value to a specific value, convert a JSON value to a Wildcard value.

Type Signature

 fun (Parser<a>) -> Parser<Wildcard<a>>
Argument: f
Type: Parser<a>
Returns:
Type: Parser<Wildcard<a>>

specific

(Function)

Construct a specific value.

Type Signature

 fun (a) -> Wildcard<a>
Argument: x
Type: a
Returns:
Type: Wildcard<a>

specifics

(Function)

Return the specific List<a> from a Wildcard<List<a>, if any.

Type Signature

 fun (Wildcard<List<a>>) -> List<a>
Argument: x
Type: Wildcard<List<a>>
Returns:
Type: List<a>

stringToWildcard

(Function)

convert a given Ludwig.String to a Wildcard

Type Signature

 fun (String) -> Wildcard<String>
Argument: str
Type: String
Returns:
Type: Wildcard<String>

wildcardToJSON

(Function)

Given a Wildcard value and a function for converting a specific value to JSON, produce a JSON value.

Type Signature

 fun (Wildcard<a>, fun (a) -> JSON) -> JSON
Argument: x
Type: Wildcard<a>
Argument: f
Type: fun ( a) -> JSON
Returns:
Type: JSON

Wildcard

(Type)

type Wildcard<a>:
  | Wildcard
  | Specific a

Specific

(Constructor)

Argument:
a

Wildcard

(Constructor)

Wildcard type to allow IAM wildcards (i.e. “*”)

wildcard

(Value)

wildcard:
  Wildcard

Construct a wildcard value.