typeIndex.shex

PREFIX solid: <http://www.w3.org/ns/solid/terms#>
PREFIX ldp: <http://www.w3.org/ns/ldp#>
PREFIX typeIndex: <#>

typeIndex:TypeIndex EXTRA a {
    a [solid:TypeIndex] ;
    ( a [solid:ListedDocument] | a [solid:UnlistedDocument] )
}

typeIndex:TypeRegistration EXTRA a {
    a [solid:TypeRegistration] ;
    solid:forClass IRI ;
    ( 
        solid:instanceContainer { a [ldp:Container] } 
    | 
        solid:instance IRI 
    ) ; 
}