Type Members

1.  final type ConnectionName = Refined[String, And[NonEmpty, Forall[Not[Whitespace]]]]
2.  final type DbIndex = Refined[Int, Closed[_0, shapeless.Nat._15]]
3.  final type GlobPattern = Refined[String, MatchesRegex[String("(\\[?[\\w\\*\\?]+\\]?)+")]]
4.  final type Host = Refined[String, Or[Or[Or[Or[Or[RFC1123HostName, Loopback], Rfc1918PrivateSpec], Rfc5737TestnetSpec], Rfc3927LocalLinkSpec], Rfc2544BenchmarkSpec]]
5.  final type Index = Refined[Long, True]
6.  final type Key = Refined[String, NonEmpty]
7.  final type Maybe[A] = Either[Throwable, A]
8.  final type NonNegInt = Refined[Int, NonNegative]
9.  final type NonNegLong = Refined[Long, NonNegative]
10.  final type NonZeroDouble = Refined[Double, And[NonNaN, NonZero]]
11.  final type NonZeroInt = Refined[Int, NonZero]
12.  final type NonZeroLong = Refined[Long, NonZero]
13.  final type OK = Refined[String, Equal[String("OK")]]
14.  final type OneOrMore[A] = Refined[List[A], NonEmpty]
15.  final type OneOrMoreKeys = Refined[List[Key], NonEmpty]
16.  final type PONG = Refined[String, Equal[String("PONG")]]
17.  final type Port = Refined[Int, Closed[Int(1024), Int(49151)]]
18.  final type PosInt = Refined[Int, Positive]
19.  final type PosLong = Refined[Long, Positive]
20.  final type Protocol = laserdisc.protocol.Protocol
21.  final type RESP = laserdisc.protocol.RESP
22.  final type RangeOffset = Refined[Int, Closed[_0, Int(536870911)]]
23.  final type Read[A, B] = laserdisc.protocol.Read[A, B]
24.  final type Show[A] = laserdisc.protocol.Show[A]
25.  final type SingletonKey[A <: XString] = Refined[A, NonEmpty]
26.  final type StringLength = Refined[Long, Closed[_0, Long(4294967295L)]]
27.  final type TwoOrMoreKeys = Refined[List[Key], MinSize[shapeless.Nat._2]]
28.  final type TwoOrMoreWeightedKeys = Refined[List[(Key, ValidDouble)], MinSize[shapeless.Nat._2]]
29.  final type ValidDouble = Refined[Double, NonNaN]
30.  final type XString = String with Singleton
31.  type |[A, B] = Either[A, B]