laserdisc
package
laserdisc
Type Members
-
final
type
ConnectionName = Refined[String, And[NonEmpty, Forall[Not[Whitespace]]]]
-
final
type
DbIndex = Refined[Int, Closed[_0, shapeless.Nat._15]]
-
final
type
GlobPattern = Refined[String, MatchesRegex[String("(\\[?[\\w\\*\\?]+\\]?)+")]]
-
final
type
Host = Refined[String, Or[Or[Or[Or[Or[RFC1123HostName, Loopback], Rfc1918PrivateSpec], Rfc5737TestnetSpec], Rfc3927LocalLinkSpec], Rfc2544BenchmarkSpec]]
-
final
type
Index = Refined[Long, True]
-
final
type
Key = Refined[String, NonEmpty]
-
final
type
Maybe[A] = Either[Throwable, A]
-
final
type
NonNegInt = Refined[Int, NonNegative]
-
final
type
NonNegLong = Refined[Long, NonNegative]
-
final
type
NonZeroDouble = Refined[Double, And[NonNaN, NonZero]]
-
final
type
NonZeroInt = Refined[Int, NonZero]
-
final
type
NonZeroLong = Refined[Long, NonZero]
-
final
type
OneOrMore[A] = Refined[List[A], NonEmpty]
-
final
type
OneOrMoreKeys = Refined[List[Key], NonEmpty]
-
final
type
Port = Refined[Int, Closed[Int(1024), Int(49151)]]
-
final
type
PosInt = Refined[Int, Positive]
-
final
type
PosLong = Refined[Long, Positive]
-
final
type
Protocol = laserdisc.protocol.Protocol
-
final
type
RESP = laserdisc.protocol.RESP
-
final
type
RangeOffset = Refined[Int, Closed[_0, Int(536870911)]]
-
final
type
Read[A, B] = laserdisc.protocol.Read[A, B]
-
final
type
Show[A] = laserdisc.protocol.Show[A]
-
final
type
SingletonKey[A <: XString] = Refined[A, NonEmpty]
-
final
type
StringLength = Refined[Long, Closed[_0, Long(4294967295L)]]
-
final
type
TwoOrMoreKeys = Refined[List[Key], MinSize[shapeless.Nat._2]]
-
final
type
TwoOrMoreWeightedKeys = Refined[List[(Key, ValidDouble)], MinSize[shapeless.Nat._2]]
-
final
type
ValidDouble = Refined[Double, NonNaN]
-
final
type
XString = String with Singleton
Value Members
-
final
val
Key: eu.timepit.refined.types.string.NonEmptyString.type
-
final
val
NonNegInt: eu.timepit.refined.types.numeric.NonNegInt.type
-
final
val
NonNegLong: eu.timepit.refined.types.numeric.NonNegLong.type
-
final
val
Port: eu.timepit.refined.types.net.UserPortNumber.type
-
final
val
PosInt: eu.timepit.refined.types.numeric.PosInt.type
-
final
val
PosLong: eu.timepit.refined.types.numeric.PosLong.type
-
final
val
Protocol: laserdisc.protocol.Protocol.type
-
final
val
Read: laserdisc.protocol.Read.type
-
final
val
Show: laserdisc.protocol.Show.type
-
package
fs2
-
implicit final
val
nanValidator: Plain[Double, NaN]