| defaultCompare | Data.GADT.Internal, Data.GADT.Compare |
| defaultEq | Data.GADT.Internal, Data.GADT.Compare |
| defaultGeq | Data.GADT.Internal, Data.GADT.Compare |
| defaultGshowsPrec | Data.GADT.Internal, Data.GADT.Show |
| defaultNeq | Data.GADT.Internal, Data.GADT.Compare |
| foldSome | |
| 1 (Function) | Data.GADT.Internal, Data.Some.Church |
| 2 (Function) | Data.Some.GADT |
| 3 (Function) | Data.Some.Newtype, Data.Some |
| GCompare | Data.GADT.Internal, Data.GADT.Compare |
| gcompare | Data.GADT.Internal, Data.GADT.Compare |
| GEQ | Data.GADT.Internal, Data.GADT.Compare |
| GEq | Data.GADT.Internal, Data.GADT.Compare |
| geq | Data.GADT.Internal, Data.GADT.Compare |
| getGReadResult | Data.GADT.Internal, Data.GADT.Show |
| GGT | Data.GADT.Internal, Data.GADT.Compare |
| GLT | Data.GADT.Internal, Data.GADT.Compare |
| GNFData | Data.GADT.DeepSeq |
| GOrdering | Data.GADT.Internal, Data.GADT.Compare |
| GRead | Data.GADT.Internal, Data.GADT.Show |
| gread | Data.GADT.Internal, Data.GADT.Show |
| greadMaybe | Data.GADT.Internal, Data.GADT.Show |
| GReadS | Data.GADT.Internal, Data.GADT.Show |
| greads | Data.GADT.Internal, Data.GADT.Show |
| greadsPrec | Data.GADT.Internal, Data.GADT.Show |
| grnf | Data.GADT.DeepSeq |
| GShow | Data.GADT.Internal, Data.GADT.Show |
| gshow | Data.GADT.Internal, Data.GADT.Show |
| gshows | Data.GADT.Internal, Data.GADT.Show |
| gshowsPrec | Data.GADT.Internal, Data.GADT.Show |
| mapSome | |
| 1 (Function) | Data.GADT.Internal, Data.Some.Church |
| 2 (Function) | Data.Some.GADT |
| 3 (Function) | Data.Some.Newtype, Data.Some |
| mkGReadResult | Data.GADT.Internal, Data.GADT.Show |
| mkSome | |
| 1 (Function) | Data.GADT.Internal, Data.Some.Church |
| 2 (Function) | Data.Some.GADT |
| 3 (Function) | Data.Some.Newtype, Data.Some |
| S | Data.GADT.Internal, Data.Some.Church |
| Some | |
| 1 (Type/Class) | Data.GADT.Internal, Data.Some.Church |
| 2 (Type/Class) | Data.Some.GADT |
| 3 (Data Constructor) | Data.Some.GADT |
| 4 (Type/Class) | Data.Some.Newtype, Data.Some |
| 5 (Data Constructor) | Data.Some.Newtype, Data.Some |
| traverseSome | |
| 1 (Function) | Data.GADT.Internal, Data.Some.Church |
| 2 (Function) | Data.Some.GADT |
| 3 (Function) | Data.Some.Newtype, Data.Some |
| weakenOrdering | Data.GADT.Internal |
| withSome | |
| 1 (Function) | Data.GADT.Internal, Data.Some.Church |
| 2 (Function) | Data.Some.GADT |
| 3 (Function) | Data.Some.Newtype, Data.Some |
| withSomeM | |
| 1 (Function) | Data.GADT.Internal, Data.Some.Church |
| 2 (Function) | Data.Some.GADT |
| 3 (Function) | Data.Some.Newtype, Data.Some |