domain/architecture/environment/agreement/ops.bend checks

raw source on the hub · import 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/environment/agreement/ops.bend as Ops

2 imports

import Base
import ./type.bend as G

Definitions

def same_identity source · line 4 · raw

@+a:String -> @+b:String -> Bool

def in_domain source · line 7 · raw

@+identity:String -> @+domain:String -> Bool

def keep_if source · line 10 · raw

@c:Bool -> @x:String -> @rest:List<&2, String> -> List<&2, String>

def outside.go source · line 18 · raw

@xs:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/environment/agreement/type.Person> -> @+domain:String -> List<&2, String>

---- the people: identities in the organization's directory domain ----

def outside_domain source · line 26 · raw

@a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/environment/agreement/type.Agreement -> List<&2, String>

The people's identities that are not in the organization's directory domain.

def people_in_domain source · line 32 · raw

@a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/environment/agreement/type.Agreement -> Bool

Every person's identity is in the organization's directory domain.

def person_of.go source · line 36 · raw

@xs:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/environment/agreement/type.Person> -> @+identity:String -> String

The key of the person with this identity (case insensitive), or "" when none has it.

def person_of source · line 43 · raw

@a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/environment/agreement/type.Agreement -> @+identity:String -> String

def unknown.go source · line 49 · raw

@ids:List<&2, String> -> @+xs:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/environment/agreement/type.Person> -> List<&2, String>

---- the identities in use ----

def unknown_identities source · line 57 · raw

@ids:List<&2, String> -> @a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/environment/agreement/type.Agreement -> List<&2, String>

The identities in use that are none of the agreement's people.

def identities_known source · line 63 · raw

@ids:List<&2, String> -> @a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/environment/agreement/type.Agreement -> Bool

Every identity actually in use is one of the agreement's people.

def granted.go source · line 67 · raw

@xs:List<&2, 0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/environment/agreement/type.Grant> -> @+person:String -> @+scope:String -> List<&2, String>

---- grants ----

def granted source · line 75 · raw

@a:0x0826261f6dc5a61da47ff8908a941ce1/domain/architecture/environment/agreement/type.Agreement -> @+person:String -> @+scope:String -> List<&2, String>

What person is granted on scope; [] when nothing is granted there.