CoreMap

fs

change

CoreMap

chrooted

managefile writefile managefile writefile queryfile readfile

close

SparkFSDef writefile writefile

coenvPrism

fp

composedFunctor

queryfile

constEqual

fp

constShow

fp

coproduct

Planner

coproductEqual

fp

coproductShow

fp