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 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 details

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 #
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 #
FromParam (Token a) Source #
Instance details Defined in Web.Hyperbole.Effect.GenRandom Methods parseParam :: ParamValue -> Either String (Token a) Source # decodeFormValue :: Maybe Text -> Either String (Token a) Source #
ToParam (Token a) Source #
Instance details Defined in Web.Hyperbole.Effect.GenRandom Methods toParam :: Token a -> ParamValue Source #