System.Posix.Dir.Dir

Definitions

record Dir : Type

Totality: total
Visibility: export
Constructor: 

MkDir : AnyPtr -> Dir

Projection: 

.ptr : Dir -> AnyPtr

Hint: 

ELift1 World f => Resource f Dir

dirptr : Dir -> AnyPtr

Totality: total
Visibility: export

wrapdir : AnyPtr -> Dir

Totality: total
Visibility: export