IamExplainer.Policy

— ⚪ definition

instance · source

instance : ToJson Effect where

— ⚪ definition

instance · source

instance : FromJson Effect where

Statement — ⚪ definition

structure · source

structure Statement where

ParseWarning — ⚪ definition

structure · source

structure ParseWarning where

— ⚪ definition

instance · source

instance : ToJson ParseWarning where

parseStatement — ⚪ definition

def · source

def parseStatement (j : Json) (idx : Nat) : Except String (Statement × List ParseWarning)

Policy — ⚪ definition

structure · source

structure Policy where

parsePolicy — ⚪ definition

def · source

def parsePolicy (input : String) : Except String (Policy × List ParseWarning)