hyperbole-0.5.0: Interactive HTML apps using type-safe serverside Haskell
Safe HaskellSafe-Inferred
LanguageGHC2021

Web.Hyperbole.Effect.GenRandom

Documentation

data GenRandom :: Effect where Source #

Constructors

GenRandom :: Random a => (a, a) -> GenRandom m a 
GenRandomToken :: Int -> GenRandom m (Token a) 
GenRandomList :: Random a => [a] -> GenRandom m a 

Instances

Instances details
type DispatchOf GenRandom Source # 
Instance details

Defined in Web.Hyperbole.Effect.GenRandom

type DispatchOf GenRandom = 'Dynamic

runRandom :: IOE :> es => Eff (GenRandom : es) a -> Eff es a Source #

genRandom :: (Random a, GenRandom :> es) => (a, a) -> Eff es a Source #

genRandomToken :: GenRandom :> es => Int -> Eff es (Token a) Source #

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

newtype Token a Source #

Constructors

Token 

Fields

Instances

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

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 #