git.iko.soy/typeable/id
on master help sign in
SSO-551 Remove SSO dependency on Air presets (#6339)
47d0463Ville Tirronen
src/Data/Id.hs+5
compare with master
unifiedsplit
@@ -6,6 +6,7 @@
6module Data.Id
6module Data.Id
7 ( Id(..)
7 ( Id(..)
8 , coerceId
8 , coerceId
9+ , nilId
9 , _Id
10 , _Id
10 ) where
11 ) where
11
12
@@ -62,6 +63,10 @@ coerceId :: forall a b. Id (Ambiguous a) -> Id (Ambiguous b)
62coerceId = coerce
63coerceId = coerce
63{-# INLINE coerceId #-}
64{-# INLINE coerceId #-}
64
65
66+-- | Id corresponding to UUID nil. Useful for testing etc.
67+nilId :: forall a. Id (Ambiguous a)
68+nilId = Id UUID.nil
69+{-# INLINE nilId #-}
65-- https://kcsongor.github.io/ambiguous-tags/
70-- https://kcsongor.github.io/ambiguous-tags/
66type family Ambiguous (a :: k) :: j where
71type family Ambiguous (a :: k) :: j where
67 Ambiguous x = x
72 Ambiguous x = x