Predicate.Core

Dsl for evaluating and displaying type level expressions

basic types

data I

identity function

>>> pz @I 23
Present 23
PresentT 23

Instances

P I a

Defined in Predicate.Core

Associated Types

type PP I a :: Type

Methods

eval :: MonadEval m => Proxy I -> POpts -> a -> m (TT (PP I a))

type PP I a

Defined in Predicate.Core

type PP I a = a

data Id

identity function that displays the input unlike I

even more constraints than I so we might need to add explicit type signatures

>>> pz @Id 23
Present 23
PresentT 23

Instances

Show a => P Id a

Defined in Predicate.Core

Associated Types

type PP Id a :: Type

Methods

eval :: MonadEval m => Proxy Id -> POpts -> a -> m (TT (PP Id a))

type PP Id a

Defined in Predicate.Core

type PP Id a = a

data IdT

identity function that also displays the type information for debugging

>>> pz @IdT 23
Present 23
PresentT 23

Instances

(Typeable a, Show a) => P IdT a

Defined in Predicate.Core

Associated Types

type PP IdT a :: Type

Methods

eval :: MonadEval m => Proxy IdT -> POpts -> a -> m (TT (PP IdT a))

type PP IdT a

Defined in Predicate.Core

type PP IdT a = a

data W (p :: k)

transparent predicate wrapper to make k of kind Type so it can be in a promoted list (cant mix kinds) see Do

>>> pz @'[W 123, Id] 99
Present [123,99]
PresentT [123,99]

>>> pz @'[W "abc", W "def", Id, Id] "ghi"
Present ["abc","def","ghi","ghi"]
PresentT ["abc","def","ghi","ghi"]

Instances

P p a => P (W p :: Type) a

Defined in Predicate.Core

Associated Types

type PP (W p) a :: Type

Methods

eval :: MonadEval m => Proxy (W p) -> POpts -> a -> m (TT (PP (W p) a))

type PP (W p :: Type) a

Defined in Predicate.Core

type PP (W p :: Type) a = PP p a

data Msg prt p

add a message to give more context to the evaluation tree

>>> pe @(Msg "[somemessage] " Id) 999
P [somemessage] Id 999
PresentT 999

>>> pe @(Msg Id 999) "info message:"
P info message:'999
PresentT 999

Instances

(P prt a, PP prt a ~ String, P p a) => P (Msg prt p :: Type) a

Defined in Predicate.Core

Associated Types

type PP (Msg prt p) a :: Type

Methods

eval :: MonadEval m => Proxy (Msg prt p) -> POpts -> a -> m (TT (PP (Msg prt p) a))

type PP (Msg prt p :: Type) a

Defined in Predicate.Core

type PP (Msg prt p :: Type) a = PP p a

display evaluation tree

pe :: forall p a. (Show (PP p a), P p a) => a -> IO (BoolT (PP p a))

displays the evaluation tree in plain text without colors

pe2 :: forall p a. (Show (PP p a), P p a) => a -> IO (BoolT (PP p a))

displays the evaluation tree using colors

pe2n :: forall p a. (Show (PP p a), P p a) => a -> IO (BoolT (PP p a))

same as pe2 but truncates the display tree width: see o2n

pu :: forall p a. (Show (PP p a), P p a) => a -> IO (BoolT (PP p a))

display the evaluation tree using unicode and colors pu '(Id, "abc", 123) [1..4] @

pun :: forall p a. (Show (PP p a), P p a) => a -> IO (BoolT (PP p a))

same as pu but truncates the display tree width: see ou

pe3 :: forall p a. (Show (PP p a), P p a) => a -> IO (BoolT (PP p a))

same as pe2 but allows for wider data

pl :: forall p a. (Show (PP p a), P p a) => a -> IO (BoolT (PP p a))

same as pz but adds context to the end result

plc :: forall p a. (Show (PP p a), P p a) => a -> IO (BoolT (PP p a))

same as pz but with colors

pz :: forall p a. (Show (PP p a), P p a) => a -> IO (BoolT (PP p a))

skips the evaluation tree and just displays the end result

P class

class P p a where

This is the core class. Each instance of this class can be combined into a dsl using >>

Associated Types

type PP (p :: k) a :: Type

Methods

eval

Arguments

:: MonadEval m

=> Proxy p

-> POpts

-> a

-> m (TT (PP p a))

returns a tree of results

Instances

GetBool b => P (b :: Bool) a

pulls the type level Bool to the value level

>>> pz @'True "not used"
True
TrueT

>>> pz @'False ()
False
FalseT

Defined in Predicate.Core

Associated Types

type PP b a :: Type

Methods

eval :: MonadEval m => Proxy b -> POpts -> a -> m (TT (PP b a))

GetOrdering cmp => P (cmp :: Ordering) a

extracts the value level representation of the promoted Ordering

>>> pz @'LT "not used"
Present LT
PresentT LT

>>> pz @'EQ ()
Present EQ
PresentT EQ

Defined in Predicate.Core

Associated Types

type PP cmp a :: Type

Methods

eval :: MonadEval m => Proxy cmp -> POpts -> a -> m (TT (PP cmp a))

KnownNat n => P (n :: Nat) a

extracts the value level representation of the type level Nat

>>> pz @123 ()
Present 123
PresentT 123

Defined in Predicate.Core

Associated Types

type PP n a :: Type

Methods

eval :: MonadEval m => Proxy n -> POpts -> a -> m (TT (PP n a))

KnownSymbol s => P (s :: Symbol) a

pulls the type level Symbol to the value level as a String

>>> pz @"hello world" ()
Present "hello world"
PresentT "hello world"

Defined in Predicate.Core

Associated Types

type PP s a :: Type

Methods

eval :: MonadEval m => Proxy s -> POpts -> a -> m (TT (PP s a))

P () a

extracts the value level representation of the type level '()

>>> pz @'() ()
Present ()
PresentT ()

Defined in Predicate.Core

Associated Types

type PP () a :: Type

Methods

eval :: MonadEval m => Proxy () -> POpts -> a -> m (TT (PP () a))

P () a

const () function

>>> pz @() "Asf"
Present ()
PresentT ()

Defined in Predicate.Core

Associated Types

type PP () a :: Type

Methods

eval :: MonadEval m => Proxy () -> POpts -> a -> m (TT (PP () a))

(Typeable a, Show a) => P IdT a

Defined in Predicate.Core

Associated Types

type PP IdT a :: Type

Methods

eval :: MonadEval m => Proxy IdT -> POpts -> a -> m (TT (PP IdT a))

Show a => P Id a

Defined in Predicate.Core

Associated Types

type PP Id a :: Type

Methods

eval :: MonadEval m => Proxy Id -> POpts -> a -> m (TT (PP Id a))

P I a

Defined in Predicate.Core

Associated Types

type PP I a :: Type

Methods

eval :: MonadEval m => Proxy I -> POpts -> a -> m (TT (PP I a))

P Stdin a

Defined in Predicate.Prelude

Associated Types

type PP Stdin a :: Type

Methods

eval :: MonadEval m => Proxy Stdin -> POpts -> a -> m (TT (PP Stdin a))

P TimeZt a

Defined in Predicate.Prelude

Associated Types

type PP TimeZt a :: Type

Methods

eval :: MonadEval m => Proxy TimeZt -> POpts -> a -> m (TT (PP TimeZt a))

P TimeUtc a

Defined in Predicate.Prelude

Associated Types

type PP TimeUtc a :: Type

Methods

eval :: MonadEval m => Proxy TimeUtc -> POpts -> a -> m (TT (PP TimeUtc a))

P ReadEnvAll a

Defined in Predicate.Prelude

Associated Types

type PP ReadEnvAll a :: Type

Methods

eval :: MonadEval m => Proxy ReadEnvAll -> POpts -> a -> m (TT (PP ReadEnvAll a))

(Show l, IsList l, Show (Item l)) => P ToListExt l

Defined in Predicate.Prelude

Associated Types

type PP ToListExt l :: Type

Methods

eval :: MonadEval m => Proxy ToListExt -> POpts -> l -> m (TT (PP ToListExt l))

(Show (t a), Foldable t, t a ~ as) => P Null as

Defined in Predicate.Prelude

Associated Types

type PP Null as :: Type

Methods

eval :: MonadEval m => Proxy Null -> POpts -> as -> m (TT (PP Null as))

(Show as, AsEmpty as) => P IsEmpty as

Defined in Predicate.Prelude

Associated Types

type PP IsEmpty as :: Type

Methods

eval :: MonadEval m => Proxy IsEmpty -> POpts -> as -> m (TT (PP IsEmpty as))

(Show (ConsT s), Show s, Snoc s s (ConsT s) (ConsT s)) => P Unsnoc s

Defined in Predicate.Prelude

Associated Types

type PP Unsnoc s :: Type

Methods

eval :: MonadEval m => Proxy Unsnoc -> POpts -> s -> m (TT (PP Unsnoc s))

(Show (ConsT s), Show s, Cons s s (ConsT s) (ConsT s)) => P Uncons s

Defined in Predicate.Prelude

Associated Types

type PP Uncons s :: Type

Methods

eval :: MonadEval m => Proxy Uncons -> POpts -> s -> m (TT (PP Uncons s))

(Show t, Reversing t) => P ReverseL t

Defined in Predicate.Prelude

Associated Types

type PP ReverseL t :: Type

Methods

eval :: MonadEval m => Proxy ReverseL -> POpts -> t -> m (TT (PP ReverseL t))

(Show a, as ~ [a]) => P Reverse as

Defined in Predicate.Prelude

Associated Types

type PP Reverse as :: Type

Methods

eval :: MonadEval m => Proxy Reverse -> POpts -> as -> m (TT (PP Reverse as))

Show a => P MkProxy a

Defined in Predicate.Prelude

Associated Types

type PP MkProxy a :: Type

Methods

eval :: MonadEval m => Proxy MkProxy -> POpts -> a -> m (TT (PP MkProxy a))

(Show a, as ~ [a]) => P Len as

Defined in Predicate.Prelude

Associated Types

type PP Len as :: Type

Methods

eval :: MonadEval m => Proxy Len -> POpts -> as -> m (TT (PP Len as))

(Show a, IsText a) => P ToUpper a

Defined in Predicate.Prelude

Associated Types

type PP ToUpper a :: Type

Methods

eval :: MonadEval m => Proxy ToUpper -> POpts -> a -> m (TT (PP ToUpper a))

(Show a, IsText a) => P ToLower a

Defined in Predicate.Prelude

Associated Types

type PP ToLower a :: Type

Methods

eval :: MonadEval m => Proxy ToLower -> POpts -> a -> m (TT (PP ToLower a))

(Show (t (t a)), Show (t a), Monad t) => P Join (t (t a))

Defined in Predicate.Prelude

Associated Types

type PP Join (t (t a)) :: Type

Methods

eval :: MonadEval m => Proxy Join -> POpts -> t (t a) -> m (TT (PP Join (t (t a))))

(Show (t a), Show (t (t a)), Comonad t) => P Duplicate (t a)

Defined in Predicate.Prelude

Associated Types

type PP Duplicate (t a) :: Type

Methods

eval :: MonadEval m => Proxy Duplicate -> POpts -> t a -> m (TT (PP Duplicate (t a)))

(Show (t a), Show a, Comonad t) => P Extract (t a)

Defined in Predicate.Prelude

Associated Types

type PP Extract (t a) :: Type

Methods

eval :: MonadEval m => Proxy Extract -> POpts -> t a -> m (TT (PP Extract (t a)))

(Show (f (t a)), Show (t (f a)), Traversable t, Applicative f) => P Sequence (t (f a))

Defined in Predicate.Prelude

Associated Types

type PP Sequence (t (f a)) :: Type

Methods

eval :: MonadEval m => Proxy Sequence -> POpts -> t (f a) -> m (TT (PP Sequence (t (f a))))

(Show (t a), Foldable t, Show a) => P ToList (t a)

Defined in Predicate.Prelude

Associated Types

type PP ToList (t a) :: Type

Methods

eval :: MonadEval m => Proxy ToList -> POpts -> t a -> m (TT (PP ToList (t a)))

Show a => P Pairs [a]

Defined in Predicate.Prelude

Associated Types

type PP Pairs [a] :: Type

Methods

eval :: MonadEval m => Proxy Pairs -> POpts -> [a] -> m (TT (PP Pairs [a]))

(Show a, Show b) => P PartitionThese [These a b]

Defined in Predicate.Prelude

Associated Types

type PP PartitionThese [These a b] :: Type

Methods

eval :: MonadEval m => Proxy PartitionThese -> POpts -> [These a b] -> m (TT (PP PartitionThese [These a b]))

(Show a, Show b) => P PartitionEithers [Either a b]

Defined in Predicate.Prelude

Associated Types

type PP PartitionEithers [Either a b] :: Type

Methods

eval :: MonadEval m => Proxy PartitionEithers -> POpts -> [Either a b] -> m (TT (PP PartitionEithers [Either a b]))

Functor f => P FMapSnd (f (x, a))

Defined in Predicate.Prelude

Associated Types

type PP FMapSnd (f (x, a)) :: Type

Methods

eval :: MonadEval m => Proxy FMapSnd -> POpts -> f (x, a) -> m (TT (PP FMapSnd (f (x, a))))

Functor f => P FMapFst (f (a, x))

Defined in Predicate.Prelude

Associated Types

type PP FMapFst (f (a, x)) :: Type

Methods

eval :: MonadEval m => Proxy FMapFst -> POpts -> f (a, x) -> m (TT (PP FMapFst (f (a, x))))

(Ord a, Show a) => P Max [a]

Defined in Predicate.Prelude

Associated Types

type PP Max [a] :: Type

Methods

eval :: MonadEval m => Proxy Max -> POpts -> [a] -> m (TT (PP Max [a]))

(Ord a, Show a) => P Min [a]

Defined in Predicate.Prelude

Associated Types

type PP Min [a] :: Type

Methods

eval :: MonadEval m => Proxy Min -> POpts -> [a] -> m (TT (PP Min [a]))

(Num a, Show a) => P Sum [a]

Defined in Predicate.Prelude

Associated Types

type PP Sum [a] :: Type

Methods

eval :: MonadEval m => Proxy Sum -> POpts -> [a] -> m (TT (PP Sum [a]))

Show a => P Tails [a]

Defined in Predicate.Prelude

Associated Types

type PP Tails [a] :: Type

Methods

eval :: MonadEval m => Proxy Tails -> POpts -> [a] -> m (TT (PP Tails [a]))

Show a => P Inits [a]

Defined in Predicate.Prelude

Associated Types

type PP Inits [a] :: Type

Methods

eval :: MonadEval m => Proxy Inits -> POpts -> [a] -> m (TT (PP Inits [a]))

Typeable a => P Unproxy (Proxy a)

Defined in Predicate.Prelude

Associated Types

type PP Unproxy (Proxy a) :: Type

Methods

eval :: MonadEval m => Proxy Unproxy -> POpts -> Proxy a -> m (TT (PP Unproxy (Proxy a)))

(Show (p (p a b) c), Show (p a (p b c)), Assoc p) => P Unassoc (p a (p b c))

Defined in Predicate.Prelude

Associated Types

type PP Unassoc (p a (p b c)) :: Type

Methods

eval :: MonadEval m => Proxy Unassoc -> POpts -> p a (p b c) -> m (TT (PP Unassoc (p a (p b c))))

(Show (p (p a b) c), Show (p a (p b c)), Assoc p) => P Assoc (p (p a b) c)

Defined in Predicate.Prelude

Associated Types

type PP Assoc (p (p a b) c) :: Type

Methods

eval :: MonadEval m => Proxy Assoc -> POpts -> p (p a b) c -> m (TT (PP Assoc (p (p a b) c)))

(Show (p a b), Swap p, Show (p b a)) => P Swap (p a b)

Defined in Predicate.Prelude

Associated Types

type PP Swap (p a b) :: Type

Methods

eval :: MonadEval m => Proxy Swap -> POpts -> p a b -> m (TT (PP Swap (p a b)))

P ([] :: [k]) a

extracts the value level representation of the type level '[]

>>> pz @'[] False
Present []
PresentT []

Defined in Predicate.Core

Associated Types

type PP [] a :: Type

Methods

eval :: MonadEval m => Proxy [] -> POpts -> a -> m (TT (PP [] a))

(KnownSymbol s, NullT s ~ False) => P (Char1 s :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Char1 s) a :: Type

Methods

eval :: MonadEval m => Proxy (Char1 s) -> POpts -> a -> m (TT (PP (Char1 s) a))

(Show l, IsList l, l ~ l') => P (FromListExt l' :: Type) l

Defined in Predicate.Prelude

Associated Types

type PP (FromListExt l') l :: Type

Methods

eval :: MonadEval m => Proxy (FromListExt l') -> POpts -> l -> m (TT (PP (FromListExt l') l))

Typeable t => P (Hole t :: Type) a

Acts as a proxy in this dsl where you can explicitly set the Type.

It is passed around as an argument to help the type checker when needed. see 'ReadP, ParseTimeP, ShowP

Defined in Predicate.Prelude

Associated Types

type PP (Hole t) a :: Type

Methods

eval :: MonadEval m => Proxy (Hole t) -> POpts -> a -> m (TT (PP (Hole t) a))

P (Nothing :: Maybe a1) (Maybe a2)

expects Nothing otherwise it fails if the value is Nothing then it returns 'Proxy a' as this provides more information than '()'

>>> pz @'Nothing Nothing
Present Proxy
PresentT Proxy

>>> pz @'Nothing (Just True)
Error 'Nothing found Just
FailT "'Nothing found Just"

Defined in Predicate.Core

Associated Types

type PP Nothing (Maybe a2) :: Type

Methods

eval :: MonadEval m => Proxy Nothing -> POpts -> Maybe a2 -> m (TT (PP Nothing (Maybe a2)))

(a ~ Item t, Show t, IsList t) => P (FromList t :: Type) [a]

Defined in Predicate.Prelude

Associated Types

type PP (FromList t) [a] :: Type

Methods

eval :: MonadEval m => Proxy (FromList t) -> POpts -> [a] -> m (TT (PP (FromList t) [a]))

(Show (f (t a)), Show (f a), Applicative t, Functor f) => P (Pure2 t :: Type) (f a)

Defined in Predicate.Prelude

Associated Types

type PP (Pure2 t) (f a) :: Type

Methods

eval :: MonadEval m => Proxy (Pure2 t) -> POpts -> f a -> m (TT (PP (Pure2 t) (f a)))

P (Proxy t :: Type) a

Defined in Predicate.Core

Associated Types

type PP (Proxy t) a :: Type

Methods

eval :: MonadEval m => Proxy (Proxy t) -> POpts -> a -> m (TT (PP (Proxy t) a))

P p a => P (W p :: Type) a

Defined in Predicate.Core

Associated Types

type PP (W p) a :: Type

Methods

eval :: MonadEval m => Proxy (W p) -> POpts -> a -> m (TT (PP (W p) a))

(Show a, PP p x ~ Maybe a, P p x) => P (Just p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Just p) x :: Type

Methods

eval :: MonadEval m => Proxy (Just p) -> POpts -> x -> m (TT (PP (Just p) x))

(Show s, Snoc s s (ConsT s) (ConsT s), PP p x ~ s, P p x) => P (Init p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Init p) x :: Type

Methods

eval :: MonadEval m => Proxy (Init p) -> POpts -> x -> m (TT (PP (Init p) x))

(Show (ConsT s), Show s, Snoc s s (ConsT s) (ConsT s), PP p x ~ s, P p x) => P (Last p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Last p) x :: Type

Methods

eval :: MonadEval m => Proxy (Last p) -> POpts -> x -> m (TT (PP (Last p) x))

(Show s, Cons s s (ConsT s) (ConsT s), PP p x ~ s, P p x) => P (Tail p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Tail p) x :: Type

Methods

eval :: MonadEval m => Proxy (Tail p) -> POpts -> x -> m (TT (PP (Tail p) x))

(Show (ConsT s), Show s, Cons s s (ConsT s) (ConsT s), PP p x ~ s, P p x) => P (Head p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Head p) x :: Type

Methods

eval :: MonadEval m => Proxy (Head p) -> POpts -> x -> m (TT (PP (Head p) x))

(PP p x ~ String, P p x) => P (ReadEnv p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ReadEnv p) x :: Type

Methods

eval :: MonadEval m => Proxy (ReadEnv p) -> POpts -> x -> m (TT (PP (ReadEnv p) x))

(PP p x ~ String, P p x) => P (ReadDir p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ReadDir p) x :: Type

Methods

eval :: MonadEval m => Proxy (ReadDir p) -> POpts -> x -> m (TT (PP (ReadDir p) x))

(PP p x ~ String, P p x) => P (ReadFile p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ReadFile p) x :: Type

Methods

eval :: MonadEval m => Proxy (ReadFile p) -> POpts -> x -> m (TT (PP (ReadFile p) x))

P p x => P (Hide p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Hide p) x :: Type

Methods

eval :: MonadEval m => Proxy (Hide p) -> POpts -> x -> m (TT (PP (Hide p) x))

(PP p x ~ [Int], P p x) => P (Luhn p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Luhn p) x :: Type

Methods

eval :: MonadEval m => Proxy (Luhn p) -> POpts -> x -> m (TT (PP (Luhn p) x))

P (EmptyList' t :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (EmptyList' t) x :: Type

Methods

eval :: MonadEval m => Proxy (EmptyList' t) -> POpts -> x -> m (TT (PP (EmptyList' t) x))

(PP p x ~ t a, P p x, Show (t a), Foldable t, Show a) => P (ToList' p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ToList' p) x :: Type

Methods

eval :: MonadEval m => Proxy (ToList' p) -> POpts -> x -> m (TT (PP (ToList' p) x))

(PP p x ~ Bool, P p x) => P (Not p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Not p) x :: Type

Methods

eval :: MonadEval m => Proxy (Not p) -> POpts -> x -> m (TT (PP (Not p) x))

(Show (PP p a), P p a) => P (Skip p :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Skip p) a :: Type

Methods

eval :: MonadEval m => Proxy (Skip p) -> POpts -> a -> m (TT (PP (Skip p) a))

(Show a, P p a, PP p a ~ Bool) => P (GuardSimple p :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (GuardSimple p) a :: Type

Methods

eval :: MonadEval m => Proxy (GuardSimple p) -> POpts -> a -> m (TT (PP (GuardSimple p) a))

(PP p x ~ t a, P p x, Show (t a), Foldable t, a ~ Bool) => P (Ors p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Ors p) x :: Type

Methods

eval :: MonadEval m => Proxy (Ors p) -> POpts -> x -> m (TT (PP (Ors p) x))

(PP p x ~ t a, P p x, Show (t a), Foldable t, a ~ Bool) => P (Ands p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Ands p) x :: Type

Methods

eval :: MonadEval m => Proxy (Ands p) -> POpts -> x -> m (TT (PP (Ands p) x))

Typeable t => P (ProxyT' t :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (ProxyT' t) a :: Type

Methods

eval :: MonadEval m => Proxy (ProxyT' t) -> POpts -> a -> m (TT (PP (ProxyT' t) a))

(Show a, Show (t [a]), PP p x ~ t [a], P p x, Foldable t) => P (Concat p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Concat p) x :: Type

Methods

eval :: MonadEval m => Proxy (Concat p) -> POpts -> x -> m (TT (PP (Concat p) x))

(PP p x ~ [a], P p x, Show a, Monoid a) => P (MConcat p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (MConcat p) x :: Type

Methods

eval :: MonadEval m => Proxy (MConcat p) -> POpts -> x -> m (TT (PP (MConcat p) x))

(PP p x ~ a, P p x, Show a) => P (MkJust p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (MkJust p) x :: Type

Methods

eval :: MonadEval m => Proxy (MkJust p) -> POpts -> x -> m (TT (PP (MkJust p) x))

P (MkNothing' t :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (MkNothing' t) a :: Type

Methods

eval :: MonadEval m => Proxy (MkNothing' t) -> POpts -> a -> m (TT (PP (MkNothing' t) a))

(Show (PP t a), Monoid (PP t a)) => P (MEmptyT' t :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (MEmptyT' t) a :: Type

Methods

eval :: MonadEval m => Proxy (MEmptyT' t) -> POpts -> a -> m (TT (PP (MEmptyT' t) a))

(PP p x ~ a, P p x, Show a, Integral a) => P (Prime p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Prime p) x :: Type

Methods

eval :: MonadEval m => Proxy (Prime p) -> POpts -> x -> m (TT (PP (Prime p) x))

(Show a, Enum a, PP p x ~ a, P p x) => P (FromEnum p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (FromEnum p) x :: Type

Methods

eval :: MonadEval m => Proxy (FromEnum p) -> POpts -> x -> m (TT (PP (FromEnum p) x))

(Show a, Enum a, PP p x ~ a, P p x) => P (Pred p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Pred p) x :: Type

Methods

eval :: MonadEval m => Proxy (Pred p) -> POpts -> x -> m (TT (PP (Pred p) x))

(Show a, Enum a, PP p x ~ a, P p x) => P (Succ p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Succ p) x :: Type

Methods

eval :: MonadEval m => Proxy (Succ p) -> POpts -> x -> m (TT (PP (Succ p) x))

(Show a, Show t, Coercible t a) => P (Coerce t :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Coerce t) a :: Type

Methods

eval :: MonadEval m => Proxy (Coerce t) -> POpts -> a -> m (TT (PP (Coerce t) a))

(PP p x ~ s, P p x, Show s, Show (Unwrapped s), Wrapped s) => P (Unwrap p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Unwrap p) x :: Type

Methods

eval :: MonadEval m => Proxy (Unwrap p) -> POpts -> x -> m (TT (PP (Unwrap p) x))

(Show (PP p x), Num (PP p x), P p x) => P (Signum p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Signum p) x :: Type

Methods

eval :: MonadEval m => Proxy (Signum p) -> POpts -> x -> m (TT (PP (Signum p) x))

(Show (PP p x), Num (PP p x), P p x) => P (Abs p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Abs p) x :: Type

Methods

eval :: MonadEval m => Proxy (Abs p) -> POpts -> x -> m (TT (PP (Abs p) x))

(Show (PP p x), Num (PP p x), P p x) => P (Negate p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Negate p) x :: Type

Methods

eval :: MonadEval m => Proxy (Negate p) -> POpts -> x -> m (TT (PP (Negate p) x))

P (DoExpandT ps) a => P (Do ps :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Do ps) a :: Type

Methods

eval :: MonadEval m => Proxy (Do ps) -> POpts -> a -> m (TT (PP (Do ps) a))

(a ~ PP p x, Show a, Real a, P p x) => P (ToRational p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ToRational p) x :: Type

Methods

eval :: MonadEval m => Proxy (ToRational p) -> POpts -> x -> m (TT (PP (ToRational p) x))

(Show (ExtractL6T (PP p x)), ExtractL6C (PP p x), P p x, Show (PP p x)) => P (L6 p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (L6 p) x :: Type

Methods

eval :: MonadEval m => Proxy (L6 p) -> POpts -> x -> m (TT (PP (L6 p) x))

(Show (ExtractL5T (PP p x)), ExtractL5C (PP p x), P p x, Show (PP p x)) => P (L5 p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (L5 p) x :: Type

Methods

eval :: MonadEval m => Proxy (L5 p) -> POpts -> x -> m (TT (PP (L5 p) x))

(Show (ExtractL4T (PP p x)), ExtractL4C (PP p x), P p x, Show (PP p x)) => P (L4 p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (L4 p) x :: Type

Methods

eval :: MonadEval m => Proxy (L4 p) -> POpts -> x -> m (TT (PP (L4 p) x))

(Show (ExtractL3T (PP p x)), ExtractL3C (PP p x), P p x, Show (PP p x)) => P (Thd p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Thd p) x :: Type

Methods

eval :: MonadEval m => Proxy (Thd p) -> POpts -> x -> m (TT (PP (Thd p) x))

(Show (ExtractL2T (PP p x)), ExtractL2C (PP p x), P p x, Show (PP p x)) => P (Snd p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Snd p) x :: Type

Methods

eval :: MonadEval m => Proxy (Snd p) -> POpts -> x -> m (TT (PP (Snd p) x))

(Show (ExtractL1T (PP p x)), ExtractL1C (PP p x), P p x, Show (PP p x)) => P (Fst p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Fst p) x :: Type

Methods

eval :: MonadEval m => Proxy (Fst p) -> POpts -> x -> m (TT (PP (Fst p) x))

(PP p x ~ t a, P p x, Show (t a), Foldable t) => P (Length p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Length p) x :: Type

Methods

eval :: MonadEval m => Proxy (Length p) -> POpts -> x -> m (TT (PP (Length p) x))

(PP p x ~ Day, P p x) => P (UnMkDay p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (UnMkDay p) x :: Type

Methods

eval :: MonadEval m => Proxy (UnMkDay p) -> POpts -> x -> m (TT (PP (UnMkDay p) x))

(Show (PP p x), P p x) => P (ShowP p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ShowP p) x :: Type

Methods

eval :: MonadEval m => Proxy (ShowP p) -> POpts -> x -> m (TT (PP (ShowP p) x))

(PP p x ~ [a], P p x, Show a) => P (Ones p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Ones p) x :: Type

Methods

eval :: MonadEval m => Proxy (Ones p) -> POpts -> x -> m (TT (PP (Ones p) x))

(PP p x ~ ([String] -> String), P p x) => P (MakeRR3 p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (MakeRR3 p) x :: Type

Methods

eval :: MonadEval m => Proxy (MakeRR3 p) -> POpts -> x -> m (TT (PP (MakeRR3 p) x))

(PP p x ~ (String -> String), P p x) => P (MakeRR2 p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (MakeRR2 p) x :: Type

Methods

eval :: MonadEval m => Proxy (MakeRR2 p) -> POpts -> x -> m (TT (PP (MakeRR2 p) x))

(PP p x ~ (String -> [String] -> String), P p x) => P (MakeRR1 p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (MakeRR1 p) x :: Type

Methods

eval :: MonadEval m => Proxy (MakeRR1 p) -> POpts -> x -> m (TT (PP (MakeRR1 p) x))

(PP p x ~ String, P p x) => P (MakeRR p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (MakeRR p) x :: Type

Methods

eval :: MonadEval m => Proxy (MakeRR p) -> POpts -> x -> m (TT (PP (MakeRR p) x))

(Show (PP p a2), P p a2, Show a2) => P (Just p :: Maybe a1) (Maybe a2)

extracts the 'a' from type level 'Maybe a' if the value exists

>>> pz @('Just Id) (Just 123)
Present 123
PresentT 123

>>> pz @('Just Id) (Just True)
Present True
PresentT True

>>> pz @('Just Id) Nothing
Error 'Just found Nothing
FailT "'Just found Nothing"

Defined in Predicate.Core

Associated Types

type PP (Just p) (Maybe a2) :: Type

Methods

eval :: MonadEval m => Proxy (Just p) -> POpts -> Maybe a2 -> m (TT (PP (Just p) (Maybe a2)))

(GetLen ps, P (ParaImpl (LenT ps) ps) [a]) => P (Para ps :: Type) [a]

Defined in Predicate.Prelude

Associated Types

type PP (Para ps) [a] :: Type

Methods

eval :: MonadEval m => Proxy (Para ps) -> POpts -> [a] -> m (TT (PP (Para ps) [a]))

(Show (f a), Show (f (PP t (f a))), Functor f, Monoid (PP t (f a))) => P (MEmptyT2' t :: Type) (f a)

Defined in Predicate.Prelude

Associated Types

type PP (MEmptyT2' t) (f a) :: Type

Methods

eval :: MonadEval m => Proxy (MEmptyT2' t) -> POpts -> f a -> m (TT (PP (MEmptyT2' t) (f a)))

(Show (f a), Show (f t), Coercible t a, Functor f) => P (Coerce2 t :: Type) (f a)

Defined in Predicate.Prelude

Associated Types

type PP (Coerce2 t) (f a) :: Type

Methods

eval :: MonadEval m => Proxy (Coerce2 t) -> POpts -> f a -> m (TT (PP (Coerce2 t) (f a)))

(Show (PP p a2), Show a2, P (p1 ': ps) a2, PP (p1 ': ps) a2 ~ [PP p1 a2], P p a2, PP p a2 ~ PP p1 a2) => P (p ': (p1 ': ps) :: [a1]) a2

Defined in Predicate.Core

Associated Types

type PP (p ': (p1 ': ps)) a2 :: Type

Methods

eval :: MonadEval m => Proxy (p ': (p1 ': ps)) -> POpts -> a2 -> m (TT (PP (p ': (p1 ': ps)) a2))

(Show (PP p a), Show a, P p a) => P (p ': ([] :: [k]) :: [k]) a

runs each predicate in turn from the promoted list

>>> pz @'[1, 2, 3] 999
Present [1,2,3]
PresentT [1,2,3]

>>> pz @'[W 1, W 2, W 3, Id] 999
Present [1,2,3,999]
PresentT [1,2,3,999]

Defined in Predicate.Core

Associated Types

type PP (p ': []) a :: Type

Methods

eval :: MonadEval m => Proxy (p ': []) -> POpts -> a -> m (TT (PP (p ': []) a))

P (DoExpandT (RepeatT n p)) a => P (DoN n p :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (DoN n p) a :: Type

Methods

eval :: MonadEval m => Proxy (DoN n p) -> POpts -> a -> m (TT (PP (DoN n p) a))

P (RepeatT n p) a => P (Repeat n p :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Repeat n p) a :: Type

Methods

eval :: MonadEval m => Proxy (Repeat n p) -> POpts -> a -> m (TT (PP (Repeat n p) a))

(PP p x ~ a, P p x, Show a, 2 <= n, n <= 36, KnownNat n, Integral a) => P (ShowBase n p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ShowBase n p) x :: Type

Methods

eval :: MonadEval m => Proxy (ShowBase n p) -> POpts -> x -> m (TT (PP (ShowBase n p) x))

(P p x, PP p x ~ a, Show (t a), Show a, Alternative t) => P (EmptyT t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (EmptyT t p) x :: Type

Methods

eval :: MonadEval m => Proxy (EmptyT t p) -> POpts -> x -> m (TT (PP (EmptyT t p) x))

(P p x, Show (PP p x), Show (t (PP p x)), Applicative t) => P (Pure t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Pure t p) x :: Type

Methods

eval :: MonadEval m => Proxy (Pure t p) -> POpts -> x -> m (TT (PP (Pure t p) x))

(P (ParaImpl (LenT (RepeatT n p)) (RepeatT n p)) [a], GetLen (RepeatT n p)) => P (ParaN n p :: Type) [a]

Defined in Predicate.Prelude

Associated Types

type PP (ParaN n p) [a] :: Type

Methods

eval :: MonadEval m => Proxy (ParaN n p) -> POpts -> [a] -> m (TT (PP (ParaN n p) [a]))

(GetLen ps, P (BoolsImpl (LenT ps) ps) [a], PP (BoolsImpl (LenT ps) ps) [a] ~ Bool) => P (Bools ps :: Type) [a]

Defined in Predicate.Prelude

Associated Types

type PP (Bools ps) [a] :: Type

Methods

eval :: MonadEval m => Proxy (Bools ps) -> POpts -> [a] -> m (TT (PP (Bools ps) [a]))

(GetLen ps, P (GuardsImpl (LenT ps) ps) [a]) => P (Guards ps :: Type) [a]

Defined in Predicate.Prelude

Associated Types

type PP (Guards ps) [a] :: Type

Methods

eval :: MonadEval m => Proxy (Guards ps) -> POpts -> [a] -> m (TT (PP (Guards ps) [a]))

(P def (Proxy a), PP def (Proxy a) ~ a, KnownNat n, Show a) => P (Ix n def :: Type) [a]

Defined in Predicate.Prelude

Associated Types

type PP (Ix n def) [a] :: Type

Methods

eval :: MonadEval m => Proxy (Ix n def) -> POpts -> [a] -> m (TT (PP (Ix n def) [a]))

(P prt a, PP prt a ~ String, P p a) => P (Msg prt p :: Type) a

Defined in Predicate.Core

Associated Types

type PP (Msg prt p) a :: Type

Methods

eval :: MonadEval m => Proxy (Msg prt p) -> POpts -> a -> m (TT (PP (Msg prt p) a))

(PP p x ~ String, PP q x ~ These a b, P p x, P q x) => P (TheseFail p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (TheseFail p q) x :: Type

Methods

eval :: MonadEval m => Proxy (TheseFail p q) -> POpts -> x -> m (TT (PP (TheseFail p q) x))

(PP p x ~ String, PP q x ~ These a b, P p x, P q x) => P (ThatFail p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ThatFail p q) x :: Type

Methods

eval :: MonadEval m => Proxy (ThatFail p q) -> POpts -> x -> m (TT (PP (ThatFail p q) x))

(PP p x ~ String, PP q x ~ These a b, P p x, P q x) => P (ThisFail p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ThisFail p q) x :: Type

Methods

eval :: MonadEval m => Proxy (ThisFail p q) -> POpts -> x -> m (TT (PP (ThisFail p q) x))

(PP q x ~ These a b, PP p x ~ (a, b), P q x, P p x) => P (TheseDef p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (TheseDef p q) x :: Type

Methods

eval :: MonadEval m => Proxy (TheseDef p q) -> POpts -> x -> m (TT (PP (TheseDef p q) x))

(PP q x ~ These a b, PP p x ~ b, P q x, P p x) => P (ThatDef p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ThatDef p q) x :: Type

Methods

eval :: MonadEval m => Proxy (ThatDef p q) -> POpts -> x -> m (TT (PP (ThatDef p q) x))

(PP q x ~ These a b, PP p x ~ a, P q x, P p x) => P (ThisDef p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ThisDef p q) x :: Type

Methods

eval :: MonadEval m => Proxy (ThisDef p q) -> POpts -> x -> m (TT (PP (ThisDef p q) x))

(PP p (a, x) ~ String, PP q x ~ Either a b, P p (a, x), P q x) => P (RightFail p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (RightFail p q) x :: Type

Methods

eval :: MonadEval m => Proxy (RightFail p q) -> POpts -> x -> m (TT (PP (RightFail p q) x))

(PP p (b, x) ~ String, PP q x ~ Either a b, P p (b, x), P q x) => P (LeftFail p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (LeftFail p q) x :: Type

Methods

eval :: MonadEval m => Proxy (LeftFail p q) -> POpts -> x -> m (TT (PP (LeftFail p q) x))

(PP q x ~ Either a b, PP p (a, x) ~ b, P q x, P p (a, x)) => P (RightDef p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (RightDef p q) x :: Type

Methods

eval :: MonadEval m => Proxy (RightDef p q) -> POpts -> x -> m (TT (PP (RightDef p q) x))

(PP q x ~ Either a b, PP p (b, x) ~ a, P q x, P p (b, x)) => P (LeftDef p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (LeftDef p q) x :: Type

Methods

eval :: MonadEval m => Proxy (LeftDef p q) -> POpts -> x -> m (TT (PP (LeftDef p q) x))

(PP p x ~ String, PP q x ~ Maybe a, P p x, P q x) => P (JustFail p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (JustFail p q) x :: Type

Methods

eval :: MonadEval m => Proxy (JustFail p q) -> POpts -> x -> m (TT (PP (JustFail p q) x))

(PP p x ~ a, PP q x ~ Maybe a, P p x, P q x) => P (JustDef p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (JustDef p q) x :: Type

Methods

eval :: MonadEval m => Proxy (JustDef p q) -> POpts -> x -> m (TT (PP (JustDef p q) x))

(P p x, P q x, PP p x ~ (a -> b), FnT (PP p x) ~ b, PP q x ~ a, Show a, Show b) => P (q & p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (q & p) x :: Type

Methods

eval :: MonadEval m => Proxy (q & p) -> POpts -> x -> m (TT (PP (q & p) x))

(P p x, P q x, PP p x ~ (a -> b), FnT (PP p x) ~ b, PP q x ~ a, Show a, Show b) => P (p $ q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (p $ q) x :: Type

Methods

eval :: MonadEval m => Proxy (p $ q) -> POpts -> x -> m (TT (PP (p $ q) x))

(P p x, P q x, Show (t b), Alternative t, t b ~ PP p x, PP q x ~ t b) => P (p <|> q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (p <|> q) x :: Type

Methods

eval :: MonadEval m => Proxy (p <|> q) -> POpts -> x -> m (TT (PP (p <|> q) x))

(Show (t c), P p x, P q x, Show (t b), Applicative t, t b ~ PP p x, PP q x ~ t c) => P (p <* q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (p <* q) x :: Type

Methods

eval :: MonadEval m => Proxy (p <* q) -> POpts -> x -> m (TT (PP (p <* q) x))

(P p x, P q x, Show (PP p x), Functor t, PP q x ~ t c, ApplyConstT (PP q x) (PP p x) ~ t (PP p x)) => P (p <$ q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (p <$ q) x :: Type

Methods

eval :: MonadEval m => Proxy (p <$ q) -> POpts -> x -> m (TT (PP (p <$ q) x))

(PrintC bs, (b, bs) ~ InductTupleP y, InductTupleC y, PrintfArg b, PP s x ~ String, PP p x ~ y, P s x, P p x, CheckT (PP p x) ~ True) => P (PrintT s p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (PrintT s p) x :: Type

Methods

eval :: MonadEval m => Proxy (PrintT s p) -> POpts -> x -> m (TT (PP (PrintT s p) x))

(Semigroup (PP p x), PP p x ~ PP q x, P p x, Show (PP q x), P q x) => P (p <> q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (p <> q) x :: Type

Methods

eval :: MonadEval m => Proxy (p <> q) -> POpts -> x -> m (TT (PP (p <> q) x))

(PrintfArg (PP p x), Show (PP p x), PP s x ~ String, P s x, P p x) => P (PrintF s p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (PrintF s p) x :: Type

Methods

eval :: MonadEval m => Proxy (PrintF s p) -> POpts -> x -> m (TT (PP (PrintF s p) x))

(PP p x ~ [a], PP q x ~ PP p x, P p x, P q x, Show a) => P (Intercalate p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Intercalate p q) x :: Type

Methods

eval :: MonadEval m => Proxy (Intercalate p q) -> POpts -> x -> m (TT (PP (Intercalate p q) x))

(PP p a ~ [x], PP q a ~ [y], P p a, P q a, Show x, Show y) => P (Zip p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Zip p q) a :: Type

Methods

eval :: MonadEval m => Proxy (Zip p q) -> POpts -> a -> m (TT (PP (Zip p q) a))

(PP p a ~ [x], PP q a ~ [y], P p a, P q a, Show x, Show y) => P (ZipThese p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (ZipThese p q) a :: Type

Methods

eval :: MonadEval m => Proxy (ZipThese p q) -> POpts -> a -> m (TT (PP (ZipThese p q) a))

(Show x, P p x, Typeable (PP t (PP p x)), Show (PP t (PP p x)), FoldableWithIndex (PP t (PP p x)) f, PP p x ~ f a, Show a) => P (IToList' t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (IToList' t p) x :: Type

Methods

eval :: MonadEval m => Proxy (IToList' t p) -> POpts -> x -> m (TT (PP (IToList' t p) x))

(PP p a ~ String, PP p a ~ PP q a, P p a, P q a) => P (OrdI p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (OrdI p q) a :: Type

Methods

eval :: MonadEval m => Proxy (OrdI p q) -> POpts -> a -> m (TT (PP (OrdI p q) a))

(Ord (PP p a), PP p a ~ PP q a, P p a, Show (PP q a), P q a) => P (OrdP p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (OrdP p q) a :: Type

Methods

eval :: MonadEval m => Proxy (OrdP p q) -> POpts -> a -> m (TT (PP (OrdP p q) a))

(P p a, P q a, PP p a ~ Bool, PP q a ~ Bool) => P (p ~> q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (p ~> q) a :: Type

Methods

eval :: MonadEval m => Proxy (p ~> q) -> POpts -> a -> m (TT (PP (p ~> q) a))

(P p a, P q a, PP p a ~ Bool, PP q a ~ Bool) => P (p || q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (p || q) a :: Type

Methods

eval :: MonadEval m => Proxy (p || q) -> POpts -> a -> m (TT (PP (p || q) a))

(P p a, P q a, PP p a ~ Bool, PP q a ~ Bool) => P (p && q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (p && q) a :: Type

Methods

eval :: MonadEval m => Proxy (p && q) -> POpts -> a -> m (TT (PP (p && q) a))

(Show (PP p a), Show (PP q (PP p a)), P p a, P q (PP p a)) => P (p >> q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (p >> q) a :: Type

Methods

eval :: MonadEval m => Proxy (p >> q) -> POpts -> a -> m (TT (PP (p >> q) a))

(Show a, P prt a, PP prt a ~ String, P p a, PP p a ~ Bool) => P (Guard prt p :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Guard prt p) a :: Type

Methods

eval :: MonadEval m => Proxy (Guard prt p) -> POpts -> a -> m (TT (PP (Guard prt p) a))

(PP p a ~ PP q a, P p a, P q a, Show (PP p a), Integral (PP p a)) => P (QuotRem p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (QuotRem p q) a :: Type

Methods

eval :: MonadEval m => Proxy (QuotRem p q) -> POpts -> a -> m (TT (PP (QuotRem p q) a))

(PP p a ~ PP q a, P p a, P q a, Show (PP p a), Integral (PP p a)) => P (DivMod p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (DivMod p q) a :: Type

Methods

eval :: MonadEval m => Proxy (DivMod p q) -> POpts -> a -> m (TT (PP (DivMod p q) a))

(PP p a ~ PP q a, P p a, P q a, Show (PP p a), Integral (PP p a)) => P (Mod p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Mod p q) a :: Type

Methods

eval :: MonadEval m => Proxy (Mod p q) -> POpts -> a -> m (TT (PP (Mod p q) a))

(PP p a ~ PP q a, P p a, P q a, Show (PP p a), Integral (PP p a)) => P (Div p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Div p q) a :: Type

Methods

eval :: MonadEval m => Proxy (Div p q) -> POpts -> a -> m (TT (PP (Div p q) a))

(P p x, P q ((String, x), Proxy (PP p x)), PP p x ~ PP q ((String, x), Proxy (PP p x))) => P (Catch p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Catch p q) x :: Type

Methods

eval :: MonadEval m => Proxy (Catch p q) -> POpts -> x -> m (TT (PP (Catch p q) x))

(P prt a, PP prt a ~ String) => P (Fail t prt :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Fail t prt) a :: Type

Methods

eval :: MonadEval m => Proxy (Fail t prt) -> POpts -> a -> m (TT (PP (Fail t prt) a))

(P p x, PP q a ~ [x], PP p x ~ Bool, P q a) => P (Break p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Break p q) a :: Type

Methods

eval :: MonadEval m => Proxy (Break p q) -> POpts -> a -> m (TT (PP (Break p q) a))

(P p x, Show x, PP q a ~ [x], PP p x ~ Bool, P q a) => P (Partition p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Partition p q) a :: Type

Methods

eval :: MonadEval m => Proxy (Partition p q) -> POpts -> a -> m (TT (PP (Partition p q) a))

(Show (PP p a), P p a, PP q x ~ f a, P q x, Show a, Show (f a), Foldable f) => P (Map p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Map p q) x :: Type

Methods

eval :: MonadEval m => Proxy (Map p q) -> POpts -> x -> m (TT (PP (Map p q) x))

(PP q a ~ s, PP p s ~ Maybe (b, s), P q a, P p s, Show s, Show b) => P (Unfoldr p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Unfoldr p q) a :: Type

Methods

eval :: MonadEval m => Proxy (Unfoldr p q) -> POpts -> a -> m (TT (PP (Unfoldr p q) a))

(P p x, P q x, PP p x ~ a, Show a, PP q x ~ a, Enum a) => P (EnumFromTo p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (EnumFromTo p q) x :: Type

Methods

eval :: MonadEval m => Proxy (EnumFromTo p q) -> POpts -> x -> m (TT (PP (EnumFromTo p q) x))

(P p x, P q x, Show (PP q x), Show (PP p x), Snoc (PP p x) (PP p x) (PP q x) (PP q x)) => P (p +: q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (p +: q) x :: Type

Methods

eval :: MonadEval m => Proxy (p +: q) -> POpts -> x -> m (TT (PP (p +: q) x))

(P p x, P q x, Show (PP p x), Show (PP q x), Cons (PP q x) (PP q x) (PP p x) (PP p x)) => P (p :+ q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (p :+ q) x :: Type

Methods

eval :: MonadEval m => Proxy (p :+ q) -> POpts -> x -> m (TT (PP (p :+ q) x))

(P q a, P p a, Show (PP p a), Ixed (PP p a), PP q a ~ Index (PP p a), Show (Index (PP p a)), Show (IxValue (PP p a))) => P (Lookup p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Lookup p q) a :: Type

Methods

eval :: MonadEval m => Proxy (Lookup p q) -> POpts -> a -> m (TT (PP (Lookup p q) a))

(Show a, Show (t a), PP p x ~ t a, P p x, Integral (PP n x), P n x, Foldable t) => P (Cycle n p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Cycle n p) x :: Type

Methods

eval :: MonadEval m => Proxy (Cycle n p) -> POpts -> x -> m (TT (PP (Cycle n p) x))

(P p a, P q a, Show (PP p a), Show (PP q a)) => P (MkThese p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (MkThese p q) a :: Type

Methods

eval :: MonadEval m => Proxy (MkThese p q) -> POpts -> a -> m (TT (PP (MkThese p q) a))

(Show (PP p x), P p x) => P (MkThat' t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (MkThat' t p) x :: Type

Methods

eval :: MonadEval m => Proxy (MkThat' t p) -> POpts -> x -> m (TT (PP (MkThat' t p) x))

(Show (PP p x), P p x) => P (MkThis' t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (MkThis' t p) x :: Type

Methods

eval :: MonadEval m => Proxy (MkThis' t p) -> POpts -> x -> m (TT (PP (MkThis' t p) x))

(Show (PP p x), P p x) => P (MkRight' t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (MkRight' t p) x :: Type

Methods

eval :: MonadEval m => Proxy (MkRight' t p) -> POpts -> x -> m (TT (PP (MkRight' t p) x))

(Show (PP p x), P p x) => P (MkLeft' t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (MkLeft' t p) x :: Type

Methods

eval :: MonadEval m => Proxy (MkLeft' t p) -> POpts -> x -> m (TT (PP (MkLeft' t p) x))

(P n a, Integral (PP n a), Semigroup (PP p a), P p a, Show (PP p a)) => P (STimes n p :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (STimes n p) a :: Type

Methods

eval :: MonadEval m => Proxy (STimes n p) -> POpts -> a -> m (TT (PP (STimes n p) a))

([PP p a] ~ PP q a, P p a, P q a, Show (PP p a), Eq (PP p a)) => P (Elem p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Elem p q) a :: Type

Methods

eval :: MonadEval m => Proxy (Elem p q) -> POpts -> a -> m (TT (PP (Elem p q) a))

(P def (Proxy (PP t a)), PP def (Proxy (PP t a)) ~ PP t a, Show a, Show (PP t a), Bounded (PP t a), Enum (PP t a), Integral a) => P (ToEnumBDef' t def :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (ToEnumBDef' t def) a :: Type

Methods

eval :: MonadEval m => Proxy (ToEnumBDef' t def) -> POpts -> a -> m (TT (PP (ToEnumBDef' t def) a))

(PP p x ~ a, P p x, Show a, Enum (PP t x), Show (PP t x), Integral a) => P (ToEnum' t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ToEnum' t p) x :: Type

Methods

eval :: MonadEval m => Proxy (ToEnum' t p) -> POpts -> x -> m (TT (PP (ToEnum' t p) x))

(PP q x ~ a, P q x, P p (Proxy a), PP p (Proxy a) ~ a, Show a, Eq a, Bounded a, Enum a) => P (PredB p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (PredB p q) x :: Type

Methods

eval :: MonadEval m => Proxy (PredB p q) -> POpts -> x -> m (TT (PP (PredB p q) x))

(PP q x ~ a, P q x, P p (Proxy a), PP p (Proxy a) ~ a, Show a, Eq a, Bounded a, Enum a) => P (SuccB p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (SuccB p q) x :: Type

Methods

eval :: MonadEval m => Proxy (SuccB p q) -> POpts -> x -> m (TT (PP (SuccB p q) x))

(Show (PP p x), P p x, Unwrapped (PP s x) ~ PP p x, Wrapped (PP s x), Show (PP s x)) => P (Wrap' s p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Wrap' s p) x :: Type

Methods

eval :: MonadEval m => Proxy (Wrap' s p) -> POpts -> x -> m (TT (PP (Wrap' s p) x))

(Integral (PP p x), Integral (PP q x), Eq (PP q x), P p x, P q x, Show (PP p x), Show (PP q x)) => P (p % q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (p % q) x :: Type

Methods

eval :: MonadEval m => Proxy (p % q) -> POpts -> x -> m (TT (PP (p % q) x))

(PP p a ~ PP q a, Eq (PP q a), P p a, P q a, Show (PP p a), Fractional (PP p a)) => P (p / q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (p / q) a :: Type

Methods

eval :: MonadEval m => Proxy (p / q) -> POpts -> a -> m (TT (PP (p / q) a))

(PP p a ~ [b], P n a, P p a, Show b, Integral (PP n a)) => P (SplitAt n p :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (SplitAt n p) a :: Type

Methods

eval :: MonadEval m => Proxy (SplitAt n p) -> POpts -> a -> m (TT (PP (SplitAt n p) a))

(P ns x, P p x, PP p x ~ [a], Show n, Show a, PP ns x ~ [n], Integral n) => P (SplitAts ns p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (SplitAts ns p) x :: Type

Methods

eval :: MonadEval m => Proxy (SplitAts ns p) -> POpts -> x -> m (TT (PP (SplitAts ns p) x))

(Show (PP p a), P b a, P p a, PP b a ~ Bool) => P (MaybeBool b p :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (MaybeBool b p) a :: Type

Methods

eval :: MonadEval m => Proxy (MaybeBool b p) -> POpts -> a -> m (TT (PP (MaybeBool b p) a))

(Show (PP p x), P p x, Show (PP t x), RealFrac (PP p x), Integral (PP t x)) => P (Floor' t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Floor' t p) x :: Type

Methods

eval :: MonadEval m => Proxy (Floor' t p) -> POpts -> x -> m (TT (PP (Floor' t p) x))

(Show (PP p x), P p x, Show (PP t x), RealFrac (PP p x), Integral (PP t x)) => P (Ceiling' t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Ceiling' t p) x :: Type

Methods

eval :: MonadEval m => Proxy (Ceiling' t p) -> POpts -> x -> m (TT (PP (Ceiling' t p) x))

(Show (PP p x), P p x, Show (PP t x), RealFrac (PP p x), Integral (PP t x)) => P (Truncate' t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Truncate' t p) x :: Type

Methods

eval :: MonadEval m => Proxy (Truncate' t p) -> POpts -> x -> m (TT (PP (Truncate' t p) x))

(P r a, PP r a ~ Rational, Show (PP t a), Fractional (PP t a)) => P (FromRational' t r :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (FromRational' t r) a :: Type

Methods

eval :: MonadEval m => Proxy (FromRational' t r) -> POpts -> a -> m (TT (PP (FromRational' t r) a))

(Num (PP t a), Integral (PP n a), P n a, Show (PP t a), Show (PP n a)) => P (FromIntegral' t n :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (FromIntegral' t n) a :: Type

Methods

eval :: MonadEval m => Proxy (FromIntegral' t n) -> POpts -> a -> m (TT (PP (FromIntegral' t n) a))

(Num (PP t a), Integral (PP n a), P n a, Show (PP t a)) => P (FromInteger' t n :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (FromInteger' t n) a :: Type

Methods

eval :: MonadEval m => Proxy (FromInteger' t n) -> POpts -> a -> m (TT (PP (FromInteger' t n) a))

(P s a, PP s a ~ String, Show (PP t a), IsString (PP t a)) => P (FromStringP' t s :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (FromStringP' t s) a :: Type

Methods

eval :: MonadEval m => Proxy (FromStringP' t s) -> POpts -> a -> m (TT (PP (FromStringP' t s) a))

(P p (a, a), P q x, Show a, PP q x ~ [a], PP p (a, a) ~ Ordering) => P (SortBy p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (SortBy p q) x :: Type

Methods

eval :: MonadEval m => Proxy (SortBy p q) -> POpts -> x -> m (TT (PP (SortBy p q) x))

(P p x, PP p x ~ String, Typeable (PP t x), Show (PP t x), Read (PP t x)) => P (ReadMaybe' t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ReadMaybe' t p) x :: Type

Methods

eval :: MonadEval m => Proxy (ReadMaybe' t p) -> POpts -> x -> m (TT (PP (ReadMaybe' t p) x))

(P p x, PP p x ~ String, Typeable (PP t x), Show (PP t x), Read (PP t x)) => P (ReadP' t p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ReadP' t p) x :: Type

Methods

eval :: MonadEval m => Proxy (ReadP' t p) -> POpts -> x -> m (TT (PP (ReadP' t p) x))

(PP p x ~ String, FormatTime (PP q x), P p x, Show (PP q x), P q x) => P (FormatTimeP p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (FormatTimeP p q) x :: Type

Methods

eval :: MonadEval m => Proxy (FormatTimeP p q) -> POpts -> x -> m (TT (PP (FormatTimeP p q) x))

(P p a, PP p a ~ Bool, PP q x ~ f a, P q x, Show a, Foldable f) => P (Any p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Any p q) x :: Type

Methods

eval :: MonadEval m => Proxy (Any p q) -> POpts -> x -> m (TT (PP (Any p q) x))

(P p a, PP p a ~ Bool, PP q x ~ f a, P q x, Show a, Foldable f) => P (All p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (All p q) x :: Type

Methods

eval :: MonadEval m => Proxy (All p q) -> POpts -> x -> m (TT (PP (All p q) x))

(P q a, Show a, Show (PP q a), PP p (Proxy (PP q a)) ~ PP q a, P p (Proxy (PP q a))) => P (MaybeIn p q :: Type) (Maybe a)

Defined in Predicate.Prelude

Associated Types

type PP (MaybeIn p q) (Maybe a) :: Type

Methods

eval :: MonadEval m => Proxy (MaybeIn p q) -> POpts -> Maybe a -> m (TT (PP (MaybeIn p q) (Maybe a)))

(Show (PP p a), Show (PP q b), P p a, P q b, Show a, Show b) => P (p +++ q :: Type) (Either a b)

Defined in Predicate.Prelude

Associated Types

type PP (p +++ q) (Either a b) :: Type

Methods

eval :: MonadEval m => Proxy (p +++ q) -> POpts -> Either a b -> m (TT (PP (p +++ q) (Either a b)))

(Show (PP p a), P p a, P q b, PP p a ~ PP q b, Show a, Show b) => P (p ||| q :: Type) (Either a b)

Defined in Predicate.Prelude

Associated Types

type PP (p ||| q) (Either a b) :: Type

Methods

eval :: MonadEval m => Proxy (p ||| q) -> POpts -> Either a b -> m (TT (PP (p ||| q) (Either a b)))

(Show (PP p a), Show (PP q b), P p a, P q b, Show a, Show b) => P (p *** q :: Type) (a, b)

Defined in Predicate.Prelude

Associated Types

type PP (p *** q) (a, b) :: Type

Methods

eval :: MonadEval m => Proxy (p *** q) -> POpts -> (a, b) -> m (TT (PP (p *** q) (a, b)))

(GetBool r, PP p x ~ String, P p x, IsText (PP q x), P q x) => P (StripLR r p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (StripLR r p q) x :: Type

Methods

eval :: MonadEval m => Proxy (StripLR r p q) -> POpts -> x -> m (TT (PP (StripLR r p q) x))

(KnownNat n, PrintC bs, (b, bs) ~ InductListP n a, InductListC n a, PrintfArg b, PP s x ~ String, PP p x ~ [a], P s x, P p x) => P (PrintL n s p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (PrintL n s p) x :: Type

Methods

eval :: MonadEval m => Proxy (PrintL n s p) -> POpts -> x -> m (TT (PP (PrintL n s p) x))

(Typeable (PP t x), BetweenT 2 36 n, Show (PP t x), Num (PP t x), KnownNat n, PP p x ~ String, P p x) => P (ReadBase' t n p :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (ReadBase' t n p) x :: Type

Methods

eval :: MonadEval m => Proxy (ReadBase' t n p) -> POpts -> x -> m (TT (PP (ReadBase' t n p) x))

(PP p a ~ String, GetOrd o, PP p a ~ PP q a, P p a, P q a) => P (CmpI o p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (CmpI o p q) a :: Type

Methods

eval :: MonadEval m => Proxy (CmpI o p q) -> POpts -> a -> m (TT (PP (CmpI o p q) a))

(GetOrd o, Ord (PP p a), Show (PP p a), PP p a ~ PP q a, P p a, P q a) => P (Cmp o p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (Cmp o p q) a :: Type

Methods

eval :: MonadEval m => Proxy (Cmp o p q) -> POpts -> a -> m (TT (PP (Cmp o p q) a))

(GetROpts rs, PP p x ~ String, PP q x ~ String, P p x, P q x) => P (Resplit' rs p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Resplit' rs p q) x :: Type

Methods

eval :: MonadEval m => Proxy (Resplit' rs p q) -> POpts -> x -> m (TT (PP (Resplit' rs p q) x))

(GetROpts rs, PP p x ~ String, PP q x ~ String, P p x, P q x) => P (RescanRanges' rs p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (RescanRanges' rs p q) x :: Type

Methods

eval :: MonadEval m => Proxy (RescanRanges' rs p q) -> POpts -> x -> m (TT (PP (RescanRanges' rs p q) x))

(GetROpts rs, PP p x ~ String, PP q x ~ String, P p x, P q x) => P (Rescan' rs p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Rescan' rs p q) x :: Type

Methods

eval :: MonadEval m => Proxy (Rescan' rs p q) -> POpts -> x -> m (TT (PP (Rescan' rs p q) x))

(GetROpts rs, PP p x ~ String, PP q x ~ String, P p x, P q x) => P (Re' rs p q :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Re' rs p q) x :: Type

Methods

eval :: MonadEval m => Proxy (Re' rs p q) -> POpts -> x -> m (TT (PP (Re' rs p q) x))

(GetLen (ToGuardsT prt (RepeatT n p)), P (GuardsImpl (LenT (ToGuardsT prt (RepeatT n p))) (ToGuardsT prt (RepeatT n p))) [a]) => P (GuardsN prt n p :: Type) [a]

Defined in Predicate.Prelude

Associated Types

type PP (GuardsN prt n p) [a] :: Type

Methods

eval :: MonadEval m => Proxy (GuardsN prt n p) -> POpts -> [a] -> m (TT (PP (GuardsN prt n p) [a]))

(GetLen (ToGuardsT prt (RepeatT n p)), PP (BoolsImpl (LenT (ToGuardsT prt (RepeatT n p))) (ToGuardsT prt (RepeatT n p))) [a] ~ Bool, P (BoolsImpl (LenT (ToGuardsT prt (RepeatT n p))) (ToGuardsT prt (RepeatT n p))) [a]) => P (BoolsN prt n p :: Type) [a]

Defined in Predicate.Prelude

Associated Types

type PP (BoolsN prt n p) [a] :: Type

Methods

eval :: MonadEval m => Proxy (BoolsN prt n p) -> POpts -> [a] -> m (TT (PP (BoolsN prt n p) [a]))

(PP r a ~ y, P r a, PP p a ~ [x], PP q a ~ [y], P p a, P q a, Show x, Show y) => P (ZipR r p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (ZipR r p q) a :: Type

Methods

eval :: MonadEval m => Proxy (ZipR r p q) -> POpts -> a -> m (TT (PP (ZipR r p q) a))

(PP l a ~ x, P l a, PP p a ~ [x], PP q a ~ [y], P p a, P q a, Show x, Show y) => P (ZipL l p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (ZipL l p q) a :: Type

Methods

eval :: MonadEval m => Proxy (ZipL l p q) -> POpts -> a -> m (TT (PP (ZipL l p q) a))

(Show (PP r a), P p a, PP p a ~ Bool, P q a, P r a, PP q a ~ PP r a) => P (If p q r :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (If p q r) a :: Type

Methods

eval :: MonadEval m => Proxy (If p q r) -> POpts -> a -> m (TT (PP (If p q r) a))

(PP p (b, a) ~ b, PP q x ~ b, PP r x ~ [a], P p (b, a), P q x, P r x, Show b, Show a) => P (Scanl p q r :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Scanl p q r) x :: Type

Methods

eval :: MonadEval m => Proxy (Scanl p q r) -> POpts -> x -> m (TT (PP (Scanl p q r) x))

(P q a, P p a, Show (PP p a), Ixed (PP p a), PP q a ~ Index (PP p a), Show (Index (PP p a)), Show (IxValue (PP p a)), P r (Proxy (IxValue (PP p a))), PP r (Proxy (IxValue (PP p a))) ~ IxValue (PP p a)) => P (IxL p q r :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (IxL p q r) a :: Type

Methods

eval :: MonadEval m => Proxy (IxL p q r) -> POpts -> a -> m (TT (PP (IxL p q r) a))

(Show (PP p a), P p a, Show (PP q a), P q a, P b a, PP b a ~ Bool) => P (EitherBool b p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (EitherBool b p q) a :: Type

Methods

eval :: MonadEval m => Proxy (EitherBool b p q) -> POpts -> a -> m (TT (PP (EitherBool b p q) a))

(P p x, P q x, P r x, PP p x ~ Int, PP q x ~ Int, PP r x ~ Int) => P (MkDay' p q r :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (MkDay' p q r) x :: Type

Methods

eval :: MonadEval m => Proxy (MkDay' p q r) -> POpts -> x -> m (TT (PP (MkDay' p q r) x))

(ParseTime (PP t a), Typeable (PP t a), Show (PP t a), P p a, P q a, PP p a ~ [String], PP q a ~ String) => P (ParseTimes' t p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (ParseTimes' t p q) a :: Type

Methods

eval :: MonadEval m => Proxy (ParseTimes' t p q) -> POpts -> a -> m (TT (PP (ParseTimes' t p q) a))

(ParseTime (PP t a), Typeable (PP t a), Show (PP t a), P p a, P q a, PP p a ~ String, PP q a ~ String) => P (ParseTimeP' t p q :: Type) a

Defined in Predicate.Prelude

Associated Types

type PP (ParseTimeP' t p q) a :: Type

Methods

eval :: MonadEval m => Proxy (ParseTimeP' t p q) -> POpts -> a -> m (TT (PP (ParseTimeP' t p q) a))

(Ord (PP p x), Show (PP p x), PP r x ~ PP p x, PP r x ~ PP q x, P p x, P q x, P r x) => P (Between' p q r :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Between' p q r) x :: Type

Methods

eval :: MonadEval m => Proxy (Between' p q r) -> POpts -> x -> m (TT (PP (Between' p q r) x))

(Show a, Show b, Show (PP p a), P p a, P q b, P r (a, b), PP p a ~ PP q b, PP p a ~ PP r (a, b), PP q b ~ PP r (a, b)) => P (TheseIn p q r :: Type) (These a b)

Defined in Predicate.Prelude

Associated Types

type PP (TheseIn p q r) (These a b) :: Type

Methods

eval :: MonadEval m => Proxy (TheseIn p q r) -> POpts -> These a b -> m (TT (PP (TheseIn p q r) (These a b)))

(FailUnlessT (LenT ps == LenT qs) (((Text "lengths are not the same " :<>: ShowType (LenT ps)) :<>: Text " vs ") :<>: ShowType (LenT qs)), P (CaseImpl (LenT ps) e ps qs r) x) => P (Case e ps qs r :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (Case e ps qs r) x :: Type

Methods

eval :: MonadEval m => Proxy (Case e ps qs r) -> POpts -> x -> m (TT (PP (Case e ps qs r) x))

(P s x, P p (x, a), P q (x, b), P r (x, (a, b)), PP s x ~ These a b, PP p (x, a) ~ c, PP q (x, b) ~ c, PP r (x, (a, b)) ~ c) => P (TheseX p q r s :: Type) x

Defined in Predicate.Prelude

Associated Types

type PP (TheseX p q r s) x :: Type

Methods

eval :: MonadEval m => Proxy (TheseX p q r s) -> POpts -> x -> m (TT (PP (TheseX p q r s) x))

Show a => P (Proxy :: Proxy t) a

converts the value to the corresponding Proxy

>>> pz @'Proxy 'x'
Present Proxy
PresentT Proxy

Defined in Predicate.Core

Associated Types

type PP Proxy a :: Type

Methods

eval :: MonadEval m => Proxy Proxy0 -> POpts -> a -> m (TT (PP Proxy0 a))

(Show a2, Show (PP p a2), P p a2) => P (Right p :: Either a1 b) (Either x a2)

extracts the 'b' from type level 'Either a b' if the value exists

>>> pz @('Right Id) (Right 123)
Present 123
PresentT 123

>>> pz @('Right Id) (Left "aaa")
Error 'Right found Left
FailT "'Right found Left"

Defined in Predicate.Core

Associated Types

type PP (Right p) (Either x a2) :: Type

Methods

eval :: MonadEval m => Proxy (Right p) -> POpts -> Either x a2 -> m (TT (PP (Right p) (Either x a2)))

(Show a2, Show (PP p a2), P p a2) => P (Left p :: Either a1 b) (Either a2 x)

extracts the 'a' from type level 'Either a b' if the value exists

>>> pz @('Left Id) (Left 123)
Present 123
PresentT 123

>>> pz @('Left Id) (Right "aaa")
Error 'Left found Right
FailT "'Left found Right"

Defined in Predicate.Core

Associated Types

type PP (Left p) (Either a2 x) :: Type

Methods

eval :: MonadEval m => Proxy (Left p) -> POpts -> Either a2 x -> m (TT (PP (Left p) (Either a2 x)))

(Show a2, Show (PP p a2), P p a2) => P (That p :: These a1 b) (These x a2)

extracts the 'b' from type level 'These a b' if the value exists

>>> pz @('That Id) (That 123)
Present 123
PresentT 123

>>> pz @('That Id) (This "aaa")
Error 'That found This
FailT "'That found This"

>>> pz @('That Id) (These 44 "aaa")
Error 'That found These
FailT "'That found These"

Defined in Predicate.Core

Associated Types

type PP (That p) (These x a2) :: Type

Methods

eval :: MonadEval m => Proxy (That p) -> POpts -> These x a2 -> m (TT (PP (That p) (These x a2)))

(Show a2, Show (PP p a2), P p a2) => P (This p :: These a1 b) (These a2 x)

extracts the 'a' from type level 'These a b' if the value exists

>>> pz @('This Id) (This 123)
Present 123
PresentT 123

>>> pz @('This Id) (That "aaa")
Error 'This found That
FailT "'This found That"

>>> pz @('This Id) (These 999 "aaa")
Error 'This found These
FailT "'This found These"

Defined in Predicate.Core

Associated Types

type PP (This p) (These a2 x) :: Type

Methods

eval :: MonadEval m => Proxy (This p) -> POpts -> These a2 x -> m (TT (PP (This p) (These a2 x)))

(P p a, P q a) => P ((,) p q :: (k2, k1)) a

run the predicates in a promoted 2-tuple; similar to &&&

>>> pz @'(Id, 4) "hello"
Present ("hello",4)
PresentT ("hello",4)

Defined in Predicate.Core

Associated Types

type PP (p, q) a :: Type

Methods

eval :: MonadEval m => Proxy (p, q) -> POpts -> a -> m (TT (PP (p, q) a))

(Show a2, Show b2, P p a2, P q b2, Show (PP p a2), Show (PP q b2)) => P (These p q :: These a1 b1) (These a2 b2)

extracts the (a,b) from type level 'These a b' if the value exists

>>> pz @('These Id Id) (These 123 "abc")
Present (123,"abc")
PresentT (123,"abc")

>>> pz @('These Id 5) (These 123 "abcde")
Present (123,5)
PresentT (123,5)

>>> pz @('These Id Id) (This "aaa")
Error 'These found This
FailT "'These found This"

>>> pz @('These Id Id) (That "aaa")
Error 'These found That
FailT "'These found That"

Defined in Predicate.Core

Associated Types

type PP (These p q) (These a2 b2) :: Type

Methods

eval :: MonadEval m => Proxy (These p q) -> POpts -> These0 a2 b2 -> m (TT (PP (These p q) (These0 a2 b2)))

(P p a, P q a, P r a) => P ((,,) p q r :: (k3, k2, k1)) a

run the predicates in a promoted 3-tuple

>>> pz @'(4, Id, "goodbye") "hello"
Present (4,"hello","goodbye")
PresentT (4,"hello","goodbye")

Defined in Predicate.Core

Associated Types

type PP (p, q, r) a :: Type

Methods

eval :: MonadEval m => Proxy (p, q, r) -> POpts -> a -> m (TT (PP (p, q, r) a))

(P p a, P q a, P r a, P s a) => P ((,,,) p q r s :: (k4, k3, k2, k1)) a

run the predicates in a promoted 4-tuple

>>> pz @'(4, Id, "inj", 999) "hello"
Present (4,"hello","inj",999)
PresentT (4,"hello","inj",999)

Defined in Predicate.Core

Associated Types

type PP (p, q, r, s) a :: Type

Methods

eval :: MonadEval m => Proxy (p, q, r, s) -> POpts -> a -> m (TT (PP (p, q, r, s) a))

evaluation methods

runPQ :: (P p a, P q a, MonadEval m) => String -> Proxy p -> Proxy q -> POpts -> a -> [Holder] -> m (Either (TT x) (PP p a, PP q a, TT (PP p a), TT (PP q a)))

evalBool :: (MonadEval m, P p a, PP p a ~ Bool) => Proxy p -> POpts -> a -> m (TT (PP p a))

A specialised form of eval that works only on predicates

evalQuick :: forall p i. P p i => i -> Either String (PP p i)