Type Members

1.  final type ==>[A, B] = Read[A, B]
2.  final type Arr = laserdisc.protocol.Arr
3.  final type Bulk = laserdisc.protocol.Bulk
4.  final type ConnectionName = Refined[String, ConnectionNameRef]
5.  final type ConnectionNameRef = And[OneOrMoreRef, Forall[And[NoWhitespace, NoControlChar]]]
6.  final type DbIndex = Refined[Int, DbIndexRef]
7.  final type DbIndexRef = And[GreaterEqual[Int(0)], LessEqual[(DbIndexMaxValueWit)#T]]
8.  final type Err = laserdisc.protocol.Err
9.  final type GeoHash = Refined[String, GeoHashRef]
10.  final type GeoHashRef = MatchesRegex[(GeoHashRegexWit)#T]
11.  final type GlobPattern = Refined[String, GlobPatternRef]
12.  final type GlobPatternRef = MatchesRegex[(GlobPatternRegexWit)#T]
13.  final type Host = Refined[String, HostRef]
14.  final type HostRef = Or[Or[Or[Or[Or[Or[Equal[(AllNICsEqWit)#T], Equal[(LoopbackEqWit)#T]], And[And[Not[IPv4], MaxSize[(Rfc1123HostnameMaxLengthWit)#T]], MatchesRegex[(Rfc1123HostnameRegexWit)#T]]], Rfc1918PrivateSpec], Rfc5737TestnetSpec], Rfc3927LocalLinkSpec], Rfc2544BenchmarkSpec]
15.  final type Index = Refined[Long, IndexRef]
16.  final type IndexRef = True
17.  final type Key = Refined[String, KeyRef]
18.  final type KeyRef = And[OneOrMoreRef, Forall[NoControlChar]]
19.  final type Latitude = Refined[Double, LatitudeRef]
20.  final type LatitudeRef = And[GreaterEqual[(LatitudeMinValueWit)#T], LessEqual[(LatitudeMaxValueWit)#T]]
21.  final type Longitude = Refined[Double, LongitudeRef]
22.  final type LongitudeRef = And[GreaterEqual[(LongitudeMinValueWit)#T], LessEqual[(LongitudeMaxValueWit)#T]]
23.  final type Maybe[A] = Either[Throwable, A]
24.  final type NOKEY = Refined[String, NOKEYRef]
25.  final type NOKEYRef = Equal[(NOKEYEqWit)#T]
26.  final type NilArr = laserdisc.protocol.NilArr.type
27.  final type NodeId = Refined[String, NodeIdRef]
28.  final type NodeIdRef = MatchesRegex[(NodeIdRegexWit)#T]
29.  final type NonNegDouble = Refined[Double, NonNegDoubleRef]
30.  final type NonNegDoubleRef = And[ValidDoubleRef, NonNegRef]
31.  final type NonNegInt = Refined[Int, NonNegRef]
32.  final type NonNegLong = Refined[Long, NonNegRef]
33.  final type NonNegRef = Not[Negative]
34.  final type NonZeroDouble = Refined[Double, NonZeroDoubleRef]
35.  final type NonZeroDoubleRef = And[ValidDoubleRef, Not[Equal[Double(0.0)]]]
36.  final type NonZeroInt = Refined[Int, NonZeroIntRef]
37.  final type NonZeroIntRef = Not[Equal[Int(0)]]
38.  final type NonZeroLong = Refined[Long, NonZeroLongRef]
39.  final type NonZeroLongRef = Not[Equal[Long(0L)]]
40.  final type NullBulk = laserdisc.protocol.NullBulk.type
41.  final type Num = laserdisc.protocol.Num
42.  final type OK = Refined[String, OKRef]
43.  final type OKRef = Equal[(OKEqWit)#T]
44.  final type OneOrMore[A] = Refined[List[A], OneOrMoreRef]
45.  final type OneOrMoreKeys = Refined[List[Key], OneOrMoreRef]
46.  final type OneOrMoreRef = Not[Empty]
47.  final type PONG = Refined[String, PONGRef]
48.  final type PONGRef = Equal[(PONGEqWit)#T]
49.  final type Port = Refined[Int, PortRef]
50.  final type PortRef = And[GreaterEqual[(PortMinValueWit)#T], LessEqual[(PortMaxValueWit)#T]]
51.  final type PosInt = Refined[Int, PosRef]
52.  final type PosLong = Refined[Long, PosRef]
53.  final type PosRef = Greater[_0]
54.  final type Protocol = laserdisc.protocol.Protocol
55.  final type RESP = laserdisc.protocol.RESP
56.  final type RESPDecErr = laserdisc.protocol.RESPDecErr
57.  final type RangeOffset = Refined[Int, RangeOffsetRef]
58.  final type RangeOffsetRef = And[GreaterEqual[Int(0)], LessEqual[(RangeOffsetMaxValueWit)#T]]
59.  final type Show[A] = laserdisc.protocol.Show[A]
60.  final type Slot = Refined[Int, SlotRef]
61.  final type SlotRef = And[GreaterEqual[Int(0)], LessEqual[(SlotMaxValueWit)#T]]
62.  final type Str = laserdisc.protocol.Str
63.  final type StringLength = Refined[Long, StringLengthRef]
64.  final type StringLengthRef = And[GreaterEqual[Long(0L)], LessEqual[(StringLengthMaxValueWit)#T]]
65.  final type TwoOrMoreKeys = Refined[List[Key], TwoOrMoreRef]
66.  final type TwoOrMoreRef = Size[GreaterEqual[Int(2)]]
67.  final type TwoOrMoreWeightedKeys = Refined[List[(Key, ValidDouble)], TwoOrMoreRef]
68.  final type ValidDouble = Refined[Double, ValidDoubleRef]
69.  final type ValidDoubleRef = NonNaN
70.  final type |[A, B] = Either[A, B]