Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Compute

Description

Abstractions for single- and bidirectional transformations

Synopsis

data Adapter s1 s2 t1 t2 v1 v2 = Adapter {
- adapterIsLossy :: Bool
- adapterSource :: t1
- adapterTarget :: t2
- adapterCoder :: Coder s1 s2 v1 v2
}
_Adapter :: Name
_Adapter_isLossy :: Name
_Adapter_source :: Name
_Adapter_target :: Name
_Adapter_coder :: Name
data Bicoder s1 s2 t1 t2 v1 v2 = Bicoder {
- bicoderEncode :: t1 -> Adapter s1 s2 t1 t2 v1 v2
- bicoderDecode :: t2 -> Adapter s2 s1 t2 t1 v2 v1
}
_Bicoder :: Name
_Bicoder_encode :: Name
_Bicoder_decode :: Name
data Coder s1 s2 v1 v2 = Coder {
- coderEncode :: v1 -> Flow s1 v2
- coderDecode :: v2 -> Flow s2 v1
}
_Coder :: Name
_Coder_encode :: Name
_Coder_decode :: Name
newtype Flow s x = Flow {
- unFlow :: s -> Trace -> FlowState s x
}
_Flow :: Name
data FlowState s x = FlowState {
- flowStateValue :: Maybe x
- flowStateState :: s
- flowStateTrace :: Trace
}
_FlowState :: Name
_FlowState_value :: Name
_FlowState_state :: Name
_FlowState_trace :: Name
data Trace = Trace {
- traceStack :: [String]
- traceMessages :: [String]
- traceOther :: Map String Term
}
_Trace :: Name
_Trace_stack :: Name
_Trace_messages :: Name
_Trace_other :: Name

Documentation

data Adapter s1 s2 t1 t2 v1 v2 Source #

A two-level bidirectional encoder which adapts types to types and terms to terms

Constructors

Adapter
Fields adapterIsLossy :: Bool adapterSource :: t1 adapterTarget :: t2 adapterCoder :: Coder s1 s2 v1 v2

_Adapter :: Name Source #

_Adapter_isLossy :: Name Source #

_Adapter_source :: Name Source #

_Adapter_target :: Name Source #

_Adapter_coder :: Name Source #

data Bicoder s1 s2 t1 t2 v1 v2 Source #

A two-level encoder and decoder, operating both at a type level and an instance (data) level

Constructors

Bicoder
Fields bicoderEncode :: t1 -> Adapter s1 s2 t1 t2 v1 v2 bicoderDecode :: t2 -> Adapter s2 s1 t2 t1 v2 v1

_Bicoder :: Name Source #

_Bicoder_encode :: Name Source #

_Bicoder_decode :: Name Source #

data Coder s1 s2 v1 v2 Source #

An encoder and decoder; a bidirectional flow between two types

Constructors

Coder
Fields coderEncode :: v1 -> Flow s1 v2 coderDecode :: v2 -> Flow s2 v1

_Coder :: Name Source #

_Coder_encode :: Name Source #

_Coder_decode :: Name Source #

newtype Flow s x Source #

A variant of the State monad with built-in logging and error handling

Constructors

Flow
Fields unFlow :: s -> Trace -> FlowState s x

Instances

Instances details

MonadFail (Flow s) Source #
Instance details Defined in Hydra.Lib.Flows Methods fail :: String -> Flow s a #
Applicative (Flow s) Source #
Instance details Defined in Hydra.Lib.Flows Methods pure :: a -> Flow s a # (<>) :: Flow s (a -> b) -> Flow s a -> Flow s b # liftA2 :: (a -> b -> c) -> Flow s a -> Flow s b -> Flow s c # (>) :: Flow s a -> Flow s b -> Flow s b # (<*) :: Flow s a -> Flow s b -> Flow s a #
Functor (Flow s) Source #
Instance details Defined in Hydra.Lib.Flows Methods fmap :: (a -> b) -> Flow s a -> Flow s b # (<$) :: a -> Flow s b -> Flow s a #
Monad (Flow s) Source #
Instance details Defined in Hydra.Lib.Flows Methods (>>=) :: Flow s a -> (a -> Flow s b) -> Flow s b # (>>) :: Flow s a -> Flow s b -> Flow s b # return :: a -> Flow s a #

_Flow :: Name Source #

data FlowState s x Source #

The result of evaluating a Flow

Constructors

FlowState
Fields flowStateValue :: Maybe x flowStateState :: s flowStateTrace :: Trace

Instances

Instances details

(Read x, Read s) => Read (FlowState s x) Source #
Instance details Defined in Hydra.Compute Methods readsPrec :: Int -> ReadS (FlowState s x) # readList :: ReadS [FlowState s x] # readPrec :: ReadPrec (FlowState s x) # readListPrec :: ReadPrec [FlowState s x] #
(Show x, Show s) => Show (FlowState s x) Source #
Instance details Defined in Hydra.Compute Methods showsPrec :: Int -> FlowState s x -> ShowS # show :: FlowState s x -> String # showList :: [FlowState s x] -> ShowS #
(Eq x, Eq s) => Eq (FlowState s x) Source #
Instance details Defined in Hydra.Compute Methods (==) :: FlowState s x -> FlowState s x -> Bool # (/=) :: FlowState s x -> FlowState s x -> Bool #
(Ord x, Ord s) => Ord (FlowState s x) Source #
Instance details Defined in Hydra.Compute Methods compare :: FlowState s x -> FlowState s x -> Ordering # (<) :: FlowState s x -> FlowState s x -> Bool # (<=) :: FlowState s x -> FlowState s x -> Bool # (>) :: FlowState s x -> FlowState s x -> Bool # (>=) :: FlowState s x -> FlowState s x -> Bool # max :: FlowState s x -> FlowState s x -> FlowState s x # min :: FlowState s x -> FlowState s x -> FlowState s x #

_FlowState :: Name Source #

_FlowState_value :: Name Source #

_FlowState_state :: Name Source #

_FlowState_trace :: Name Source #

data Trace Source #

A container for logging and error information

Constructors

Trace
Fields traceStack :: [String] traceMessages :: [String] traceOther :: Map String Term A map of string keys to arbitrary terms as values, for application-specific use

Instances

Instances details

Read Trace Source #
Instance details Defined in Hydra.Compute Methods readsPrec :: Int -> ReadS Trace # readList :: ReadS [Trace] # readPrec :: ReadPrec Trace # readListPrec :: ReadPrec [Trace] #
Show Trace Source #
Instance details Defined in Hydra.Compute Methods showsPrec :: Int -> Trace -> ShowS # show :: Trace -> String # showList :: [Trace] -> ShowS #
Eq Trace Source #
Instance details Defined in Hydra.Compute Methods (==) :: Trace -> Trace -> Bool # (/=) :: Trace -> Trace -> Bool #
Ord Trace Source #
Instance details Defined in Hydra.Compute Methods compare :: Trace -> Trace -> Ordering # (<) :: Trace -> Trace -> Bool # (<=) :: Trace -> Trace -> Bool # (>) :: Trace -> Trace -> Bool # (>=) :: Trace -> Trace -> Bool # max :: Trace -> Trace -> Trace # min :: Trace -> Trace -> Trace #

_Trace :: Name Source #

_Trace_stack :: Name Source #

_Trace_messages :: Name Source #

_Trace_other :: Name Source #