Singleton MetaId MetaSet Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Lazy |
Singleton MetaId () Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Lazy |
Singleton Variable VarCounts Source # | |
Instance detailsDefined in Agda.TypeChecking.Free |
Singleton Int VarSet Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton Int IntSet Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton Variable (VarMap' a) Source # | A "set"-style Singleton instance with default/initial variable occurrence. |
Instance detailsDefined in Agda.TypeChecking.Free.Lazy |
Singleton a (Favorites a) Source # | |
Instance detailsDefined in Agda.Utils.Favorites |
SmallSetElement a => Singleton a (SmallSet a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton a (Seq a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton a (Set a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton a (DList a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Enum a => Singleton a (EnumSet a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton a (NonEmpty a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton a (Endo [a]) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton a (NESet a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton a (Maybe a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton a [a] Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Hashable k => Singleton k (HashSet k) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton a ([a] -> [a]) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton (Call cinfo) (CallGraph cinfo) Source # | |
Instance detailsDefined in Agda.Termination.CallGraph |
Singleton (CallMatrixAug cinfo) (CMSet cinfo) Source # | |
Instance detailsDefined in Agda.Termination.CallMatrix |
Singleton (Variable, FlexRig' ()) FlexRigMap Source # | |
Instance detailsDefined in Agda.TypeChecking.Free.Lazy |
Singleton (Int, a) (IntMap a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Singleton ([k], v) (Trie k v) Source # | |
Instance detailsDefined in Agda.Utils.CompressedTrie |
Singleton (k, a) (Map k a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Enum k => Singleton (k, a) (EnumMap k a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |
Hashable k => Singleton (k, a) (HashMap k a) Source # | |
Instance detailsDefined in Agda.Utils.Singleton |