Safe Haskell	None
Language	Haskell2010

Data.Derivation.CanDerive

Contents

Synopsis

canDerive :: (IsString s, Ord v) => Givens v -> Wanted v -> Try e (Log s v) Bool
data Givens v
givens :: forall s v. (IsString s, Ord v) => [Exp v 'Boolean] -> Try (Log s v) (Log s v) (Givens v)
data Wanted v
wanted :: forall s v. (IsString s, Ord v) => Exp v 'Boolean -> Try (Log s v) (Log s v) (Wanted v)

CAN DERIVE

GIVENS

Instances details

IsString s => Loggable s v (Givens v) Source #
Instance details Defined in Data.Derivation.CanDerive Methods log :: Givens v -> Log s v Source #
Show v => Show (Givens v) Source #
Instance details Defined in Data.Derivation.CanDerive Methods showsPrec :: Int -> Givens v -> ShowS # show :: Givens v -> String # showList :: [Givens v] -> ShowS #

givens :: forall s v. (IsString s, Ord v) => [Exp v 'Boolean] -> Try (Log s v) (Log s v) (Givens v) Source #

Instances details

IsString s => Loggable s v (Wanted v) Source #
Instance details Defined in Data.Derivation.CanDerive Methods log :: Wanted v -> Log s v Source #
Show v => Show (Wanted v) Source #
Instance details Defined in Data.Derivation.CanDerive Methods showsPrec :: Int -> Wanted v -> ShowS # show :: Wanted v -> String # showList :: [Wanted v] -> ShowS #

wanted :: forall s v. (IsString s, Ord v) => Exp v 'Boolean -> Try (Log s v) (Log s v) (Wanted v) Source #