rewire-user-2.8
Safe HaskellNone
LanguageHaskell2010

ReWire.Interactive

Documentation

type Vec (n :: Nat) a = Vector n a Source #

class ShowHex w where Source #

Methods

xshow :: w -> String Source #

Instances

Instances details
ShowHex (Vec n Bool) Source # 
Instance details

Defined in ReWire.Interactive

Methods

xshow :: Vec n Bool -> String Source #

class ShowBin w where Source #

Methods

bshow :: w -> String Source #

Instances

Instances details
ShowBin (Vec n Bool) Source # 
Instance details

Defined in ReWire.Interactive

Methods

bshow :: Vec n Bool -> String Source #

class ShowDec w where Source #

Methods

dshow :: w -> String Source #

Instances

Instances details
ShowDec (Vec n Bool) Source # 
Instance details

Defined in ReWire.Interactive

Methods

dshow :: Vec n Bool -> String Source #

binary :: forall (n :: Nat). Vec n Bool -> IO () Source #

hex :: forall (n :: Nat). Vec n Bool -> IO () Source #

dec :: forall (n :: Nat). Vec n Bool -> IO () Source #

runIdentity :: Identity a -> a Source #

runStateT :: StateT s m a -> s -> m (a, s) Source #

runReacT :: ReacT i o m a -> m (Either a (o, i -> ReacT i o m a)) Source #

pretty :: Pretty a => a -> IO () Source #

class Pretty a where Source #

Methods

pp :: a -> String Source #

Instances

Instances details
Pretty Integer Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: Integer -> String Source #

Pretty () Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: () -> String Source #

Pretty Bool Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: Bool -> String Source #

Pretty a => Pretty (Maybe a) Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: Maybe a -> String Source #

Pretty a => Pretty [a] Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: [a] -> String Source #

(Pretty w, Pretty a) => Pretty (WriterPlus w a) Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: WriterPlus w a -> String Source #

Pretty (Vector n Bool) Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: Vector n Bool -> String Source #

(Pretty a, Pretty b) => Pretty (a, b) Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: (a, b) -> String Source #

(Pretty a, Pretty b, Pretty c) => Pretty (a, b, c) Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: (a, b, c) -> String Source #

(Pretty a, Pretty b, Pretty c, Pretty d) => Pretty (a, b, c, d) Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: (a, b, c, d) -> String Source #

(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f, Pretty g, Pretty h) => Pretty (a, b, c, d, e, f, g, h) Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: (a, b, c, d, e, f, g, h) -> String Source #

(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e, Pretty f, Pretty g, Pretty h, Pretty i, Pretty j, Pretty k, Pretty l, Pretty m, Pretty n, Pretty o, Pretty p) => Pretty (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p) -> String Source #

type Re i s o a = ReacT i o (StateT s Identity) a Source #

type RePure i o a = ReacT i o Identity a Source #

step :: Re i s o a -> i -> s -> Either (a, s) (Re i s o a, s, o) Source #

stepPure :: RePure i o a -> i -> Either a (RePure i o a, o) Source #

iterRe :: (i -> Re i s o a) -> i -> s -> Either (a, s) (i -> Re i s o a, s, o) Source #

grunt :: (i -> Re i s o a) -> (i, s, o) -> [i] -> WriterPlus (i, s, o) (Maybe (a, i, s)) Source #

run :: Re i s o a -> (i, s, o) -> [i] -> WriterPlus (i, s, o) (Maybe (a, i, s)) Source #

runP :: RePure i o a -> (i, o) -> [i] -> WriterPlus (i, o) (Maybe (a, i)) Source #

trace :: Re i s o a -> (i, s, o) -> [i] -> [(i, s, o)] Source #

traceP :: RePure i o a -> (i, o) -> [i] -> [(i, o)] Source #

data WriterPlus w a Source #

Constructors

w :> (WriterPlus w a) 
w :+> a 

Instances

Instances details
(Show w, Show a) => Show (WriterPlus w a) Source # 
Instance details

Defined in ReWire.Interactive

Methods

showsPrec :: Int -> WriterPlus w a -> ShowS #

show :: WriterPlus w a -> String #

showList :: [WriterPlus w a] -> ShowS #

(Pretty w, Pretty a) => Pretty (WriterPlus w a) Source # 
Instance details

Defined in ReWire.Interactive

Methods

pp :: WriterPlus w a -> String Source #

toList :: WriterPlus w a -> [w] Source #