ClassName | Type.InstanceMap.TH, Type.InstanceMap |
defaultOptions | Type.InstanceMap.TH, Type.InstanceMap |
InputTypeName | Type.InstanceMap.TH, Type.InstanceMap |
maxDepth | Type.InstanceMap.TH, Type.InstanceMap |
mkMap | Type.InstanceMap.TH, Type.InstanceMap |
mkMapWithOpts | Type.InstanceMap.TH, Type.InstanceMap |
Options | |
1 (Type/Class) | Type.InstanceMap.TH, Type.InstanceMap |
2 (Data Constructor) | Type.InstanceMap.TH, Type.InstanceMap |
OutputWrapperName | Type.InstanceMap.TH, Type.InstanceMap |
Some | Type.InstanceMap.TH, Type.InstanceMap |
verbose | Type.InstanceMap.TH, Type.InstanceMap |
witnessGenerator | Type.InstanceMap.TH, Type.InstanceMap |
witnessTypeName | Type.InstanceMap.TH, Type.InstanceMap |