hyperbole

Safe Haskell	None
Language	GHC2021

Web.Hyperbole.Effect.GenRandom

Documentation

data GenRandom (a :: Type -> Type) b where Source #

Constructors

GenRandom :: forall b (a :: Type -> Type). Random b => (b, b) -> GenRandom a b
GenRandomToken :: forall {k} (a :: Type -> Type) (a1 :: k). Int -> GenRandom a (Token a1)
GenRandomList :: forall b (a :: Type -> Type). Random b => [b] -> GenRandom a b

Instances

Instances details

type DispatchOf GenRandom Source #
Instance details Defined in Web.Hyperbole.Effect.GenRandom type DispatchOf GenRandom = 'Dynamic

runRandom :: forall (es :: [Effect]) a. IOE :> es => Eff (GenRandom ': es) a -> Eff es a Source #

genRandom :: forall a (es :: [Effect]). (Random a, GenRandom :> es) => (a, a) -> Eff es a Source #

genRandomToken :: forall {k} (es :: [Effect]) (a :: k). GenRandom :> es => Int -> Eff es (Token a) Source #

genRandomList :: forall a (es :: [Effect]). (Random a, GenRandom :> es) => [a] -> Eff es a Source #

newtype Token (a :: k) Source #

Constructors

Token
Fields value :: Text

Instances

Instances details

Generic (Token a) Source #

Instance details

Defined in Web.Hyperbole.Effect.GenRandom

Associated Types

type Rep (Token a)
Instance details Defined in Web.Hyperbole.Effect.GenRandom type Rep (Token a) = D1 ('MetaData "Token" "Web.Hyperbole.Effect.GenRandom" "hyperbole-0.7.1-inplace" 'True) (C1 ('MetaCons "Token" 'PrefixI 'True) (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: Token a -> Rep (Token a) x #

to :: Rep (Token a) x -> Token a #

Read (Token a) Source #

Instance details

Defined in Web.Hyperbole.Effect.GenRandom

Methods

readsPrec :: Int -> ReadS (Token a) #

readList :: ReadS [Token a] #

readPrec :: ReadPrec (Token a) #

readListPrec :: ReadPrec [Token a] #

Show (Token a) Source #

Instance details

Defined in Web.Hyperbole.Effect.GenRandom

Methods

showsPrec :: Int -> Token a -> ShowS #

show :: Token a -> String #

showList :: [Token a] -> ShowS #

Eq (Token a) Source #

Instance details

Defined in Web.Hyperbole.Effect.GenRandom

Methods

(==) :: Token a -> Token a -> Bool #

(/=) :: Token a -> Token a -> Bool #

Ord (Token a) Source #

Instance details

Defined in Web.Hyperbole.Effect.GenRandom

Methods

compare :: Token a -> Token a -> Ordering #

(<) :: Token a -> Token a -> Bool #

(<=) :: Token a -> Token a -> Bool #

(>) :: Token a -> Token a -> Bool #

(>=) :: Token a -> Token a -> Bool #

max :: Token a -> Token a -> Token a #

min :: Token a -> Token a -> Token a #

FromJSON (Token a) Source #

Instance details

Defined in Web.Hyperbole.Effect.GenRandom

Methods

parseJSON :: Value -> Parser (Token a) #

parseJSONList :: Value -> Parser [Token a] #

omittedField :: Maybe (Token a) #

ToJSON (Token a) Source #

Instance details

Defined in Web.Hyperbole.Effect.GenRandom

Methods

toJSON :: Token a -> Value #

toEncoding :: Token a -> Encoding #

toJSONList :: [Token a] -> Value #

toEncodingList :: [Token a] -> Encoding #

omitField :: Token a -> Bool #

type Rep (Token a) Source #

Instance details

Defined in Web.Hyperbole.Effect.GenRandom

type Rep (Token a) = D1 ('MetaData "Token" "Web.Hyperbole.Effect.GenRandom" "hyperbole-0.7.1-inplace" 'True) (C1 ('MetaCons "Token" 'PrefixI 'True) (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))