Idris2Doc : Data.WithID

Data.WithID

(source)
Definitions
record WithID : Type -> Type
  Totality: total
  Visibility: public export
  Constructor: 
MkWithID : Bits32 -> a -> WithID a

  Projections:
  
.id : WithID a -> Bits32
  
.value : WithID a -> a

  Hints:
  
Eq a => Eq (WithID a)
  
FromRow a => FromRow (WithID a)
  
Ord a => Ord (WithID a)
  
Show a => Show (WithID a)
  
ToRow a => ToRow (WithID a)
.id : WithID a -> Bits32
  Totality: total
  Visibility: public export
id : WithID a -> Bits32
  Totality: total
  Visibility: public export
.value : WithID a -> a
  Totality: total
  Visibility: public export
value : WithID a -> a
  Totality: total
  Visibility: public export