/dhall-dot-v1.0.0/schemas.dhall

Copy path to clipboard

Source

let types = ./types.dhall

let NodeID = { Type = types.NodeID, default.port = None types.Port }

let Graph =
{ Type = types.Graph
, default =
{ strict = False
, id = None types.ID
, statements = [] : List types.Statement
}
}

in { NodeID, Graph }