Safe Haskell | None |
---|---|
Language | Haskell2010 |
- class SetSourceId a (GetSourceId a) ~ a => HasSourceIdT a where
- type GetSourceId a
- type SetSourceId a b
- newtype SourceId i = MkSourceId i
- type SrcId32 = SourceId Word32
- type SrcId64 = SourceId Word64
- sourceId :: forall i i. Iso (SourceId i) (SourceId i) i i
Documentation
class SetSourceId a (GetSourceId a) ~ a => HasSourceIdT a Source #
type GetSourceId a Source #
type SetSourceId a b Source #
Things that can be uniquely identified by a looking at a (much simpler)
representation, the identity
.