Safe Haskell | None |
---|---|
Language | Haskell2010 |
Re-exports typed Value, CValue, some core types, some helpers and defines aliases for constructors of typed values.
Synopsis
- type Value = Value' Instr
- class WellTypedToT a => IsoValue a where
- type WellTypedIsoValue a = (WellTyped (ToT a), IsoValue a)
- data Integer
- data Natural
- data MText
- data Bool
- data ByteString
- data Address
- data EpAddress = EpAddress {}
- data Mutez
- data Never
- data Timestamp
- data ChainId
- data KeyHash
- data PublicKey
- data Signature
- data Bls12381Fr
- data Bls12381G1
- data Bls12381G2
- data Set a
- data Map k a
- newtype BigMap k v = BigMap {}
- type Operation = Operation' Instr
- data Maybe a
- type List = []
- data ContractRef arg = ContractRef {
- crAddress :: Address
- crEntrypoint :: SomeEntrypointCall arg
- newtype TAddress p = TAddress {}
- newtype FutureContract arg = FutureContract {
- unFutureContract :: ContractRef arg
- data EpName
- pattern DefEpName :: EpName
- type EntrypointCall param arg = EntrypointCallT (ToT param) (ToT arg)
- type SomeEntrypointCall arg = SomeEntrypointCallT (ToT arg)
- toMutez :: Word32 -> Mutez
- zeroMutez :: Mutez
- oneMutez :: Mutez
- mt :: QuasiQuoter
- timestampFromSeconds :: Integer -> Timestamp
- timestampFromUTCTime :: UTCTime -> Timestamp
- timestampQuote :: QuasiQuoter
- coerceContractRef :: ToT a ~ ToT b => ContractRef a -> ContractRef b
- callingTAddress :: forall cp mname. NiceParameterFull cp => TAddress cp -> EntrypointRef mname -> ContractRef (GetEntrypointArgCustom cp mname)
- callingDefTAddress :: forall cp. NiceParameterFull cp => TAddress cp -> ContractRef (GetDefaultEntrypointArg cp)
- class ToAddress a where
- class ToTAddress (cp :: Type) (a :: Type) where
- toTAddress :: a -> TAddress cp
- class ToContractRef (cp :: Type) (contract :: Type) where
- toContractRef :: HasCallStack => contract -> ContractRef cp
- class FromContractRef (cp :: Type) (contract :: Type) where
- fromContractRef :: ContractRef cp -> contract
- convertContractRef :: forall cp contract2 contract1. (ToContractRef cp contract1, FromContractRef cp contract2) => contract1 -> contract2
- class Show a
- class Default a where
- def :: a
- data Label (name :: Symbol) where
- Label :: forall (name :: Symbol). KnownSymbol name => Label name
- newtype PrintAsValue a = PrintAsValue a
Documentation
class WellTypedToT a => IsoValue a where #
Nothing
Instances
type WellTypedIsoValue a = (WellTyped (ToT a), IsoValue a) #
Primitive types
Arbitrary precision integers. In contrast with fixed-size integral types
such as Int
, the Integer
type represents the entire infinite range of
integers.
For more information about this type's representation, see the comments in its implementation.
Instances
Type representing arbitrary-precision non-negative integers.
>>>
2^100 :: Natural
1267650600228229401496703205376
Operations whose result would be negative
,throw
(Underflow
:: ArithException
)
>>>
-1 :: Natural
*** Exception: arithmetic underflow
Since: base-4.8.0.0
Instances
Instances
Instances
Bounded Bool | Since: base-2.1 |
Enum Bool | Since: base-2.1 |
Eq Bool | |
Ord Bool | |
Read Bool | Since: base-2.1 |
Show Bool | Since: base-2.1 |
Generic Bool | Since: base-4.6.0.0 |
Hashable Bool | |
Defined in Data.Hashable.Class | |
ToJSON Bool | |
Defined in Data.Aeson.Types.ToJSON | |
ToJSONKey Bool | |
Defined in Data.Aeson.Types.ToJSON | |
Storable Bool | Since: base-2.1 |
Defined in Foreign.Storable | |
NFData Bool | |
Defined in Control.DeepSeq | |
Buildable Bool | |
Defined in Formatting.Buildable | |
Unbox Bool | |
Defined in Data.Vector.Unboxed.Base | |
Semiring Bool | |
PShow Bool | |
SShow Bool | |
Defined in Data.Singletons.Prelude.Show sShowsPrec :: forall (t1 :: Nat) (t2 :: Bool) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) # sShow_ :: forall (t :: Bool). Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: forall (t1 :: [Bool]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) # | |
PEnum Bool | |
Defined in Data.Singletons.Prelude.Enum | |
SEnum Bool | |
Defined in Data.Singletons.Prelude.Enum sSucc :: forall (t :: Bool). Sing t -> Sing (Apply SuccSym0 t) # sPred :: forall (t :: Bool). Sing t -> Sing (Apply PredSym0 t) # sToEnum :: forall (t :: Nat). Sing t -> Sing (Apply ToEnumSym0 t) # sFromEnum :: forall (t :: Bool). Sing t -> Sing (Apply FromEnumSym0 t) # sEnumFromTo :: forall (t1 :: Bool) (t2 :: Bool). Sing t1 -> Sing t2 -> Sing (Apply (Apply EnumFromToSym0 t1) t2) # sEnumFromThenTo :: forall (t1 :: Bool) (t2 :: Bool) (t3 :: Bool). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply EnumFromThenToSym0 t1) t2) t3) # | |
PBounded Bool | |
Defined in Data.Singletons.Prelude.Enum | |
SBounded Bool | |
Defined in Data.Singletons.Prelude.Enum | |
POrd Bool | |
SOrd Bool | |
Defined in Data.Singletons.Prelude.Ord sCompare :: forall (t1 :: Bool) (t2 :: Bool). Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2) # (%<) :: forall (t1 :: Bool) (t2 :: Bool). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) # (%<=) :: forall (t1 :: Bool) (t2 :: Bool). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2) # (%>) :: forall (t1 :: Bool) (t2 :: Bool). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) # (%>=) :: forall (t1 :: Bool) (t2 :: Bool). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2) # sMax :: forall (t1 :: Bool) (t2 :: Bool). Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2) # sMin :: forall (t1 :: Bool) (t2 :: Bool). Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2) # | |
SEq Bool | |
PEq Bool | |
Pretty Bool | |
Defined in Text.PrettyPrint.Leijen.Text | |
SingKind Bool | Since: base-4.9.0.0 |
Defined in GHC.Generics type DemoteRep Bool | |
TypeHasDoc Bool | |
Defined in Michelson.Typed.Haskell.Doc type TypeDocFieldDescriptions Bool :: FieldDescriptions # typeDocName :: Proxy Bool -> Text # typeDocMdDescription :: Markdown # typeDocMdReference :: Proxy Bool -> WithinParens -> Markdown # typeDocDependencies :: Proxy Bool -> [SomeDocDefinitionItem] # typeDocHaskellRep :: TypeDocHaskellRep Bool # typeDocMichelsonRep :: TypeDocMichelsonRep Bool # | |
IsoValue Bool | |
HasAnnotation Bool Source # | |
Defined in Lorentz.Annotation getAnnotation :: FollowEntrypointFlag -> Notes (ToT Bool) Source # | |
Lift Bool | |
TestCoercion SBool | |
Defined in Data.Singletons.Prelude.Instances | |
TestEquality SBool | |
Defined in Data.Singletons.Prelude.Instances | |
Vector Vector Bool | |
Defined in Data.Vector.Unboxed.Base basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Bool -> m (Vector Bool) # basicUnsafeThaw :: PrimMonad m => Vector Bool -> m (Mutable Vector (PrimState m) Bool) # basicLength :: Vector Bool -> Int # basicUnsafeSlice :: Int -> Int -> Vector Bool -> Vector Bool # basicUnsafeIndexM :: Monad m => Vector Bool -> Int -> m Bool # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Bool -> Vector Bool -> m () # | |
MVector MVector Bool | |
Defined in Data.Vector.Unboxed.Base basicLength :: MVector s Bool -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Bool -> MVector s Bool # basicOverlaps :: MVector s Bool -> MVector s Bool -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Bool) # basicInitialize :: PrimMonad m => MVector (PrimState m) Bool -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Bool -> m (MVector (PrimState m) Bool) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Bool -> Int -> m Bool # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Bool -> Int -> Bool -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Bool -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Bool -> Bool -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Bool -> MVector (PrimState m) Bool -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Bool -> MVector (PrimState m) Bool -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Bool -> Int -> m (MVector (PrimState m) Bool) # | |
SingI 'False | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
SingI 'True | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
UnaryArithOpHs Not Bool Source # | |
Defined in Lorentz.Arith type UnaryArithResHs Not Bool Source # | |
ArithOpHs And Bool Bool Source # | |
Defined in Lorentz.Arith type ArithResHs And Bool Bool Source # | |
ArithOpHs Or Bool Bool Source # | |
Defined in Lorentz.Arith type ArithResHs Or Bool Bool Source # | |
ArithOpHs Xor Bool Bool Source # | |
Defined in Lorentz.Arith type ArithResHs Xor Bool Bool Source # | |
() :=> (Bounded Bool) | |
() :=> (Enum Bool) | |
() :=> (Eq Bool) | |
() :=> (Ord Bool) | |
() :=> (Read Bool) | |
() :=> (Show Bool) | |
() :=> (Bits Bool) | |
SuppressUnusedWarnings NotSym0 | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings FromEnum_6989586621680203592Sym0 | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings All_Sym0 | |
SuppressUnusedWarnings AllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Any_Sym0 | |
SuppressUnusedWarnings AnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (||@#@$) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (&&@#@$) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings Compare_6989586621679848336Sym0 | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings OrSym0 | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings AndSym0 | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ToEnum_6989586621680203579Sym0 | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ShowsPrec_6989586621680653401Sym0 | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (<=?@#@$) | |
Defined in Data.Singletons.TypeLits.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings GetAllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings GetAnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SingI NotSym0 | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (||@#@$) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (&&@#@$) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI (<=?@#@$) | |
Defined in Data.Singletons.TypeLits.Internal | |
SingI All_Sym0 | |
SingI AllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SingI Any_Sym0 | |
SingI AnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SingI ShowParenSym0 | |
Defined in Data.Singletons.Prelude.Show sing :: Sing ShowParenSym0 # | |
SingI OrSym0 | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI AndSym0 | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI GetAllSym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal sing :: Sing GetAllSym0 # | |
SingI GetAnySym0 | |
Defined in Data.Singletons.Prelude.Semigroup.Internal sing :: Sing GetAnySym0 # | |
SuppressUnusedWarnings ((||@#@$$) a6989586621679815663 :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((&&@#@$$) a6989586621679815361 :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679848336Sym1 a6989586621679848341 :: TyFun Bool Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GuardSym0 :: TyFun Bool (f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653401Sym1 a6989586621680653411 :: TyFun Bool (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnullSym0 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListisPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680822604Sym0 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=?@#@$$) a6989586621679910080 :: TyFun Nat Bool -> Type) | |
Defined in Data.Singletons.TypeLits.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListelemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OrSym0 :: TyFun (t Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813469Scrutinee_6989586621680813411Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813445Scrutinee_6989586621680813409Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680823228Sym0 :: TyFun a (Product a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680823053Sym0 :: TyFun a (Sum a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680822878Sym0 :: TyFun a (Dual a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680822846Sym0 :: TyFun a (Proxy a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680822470Sym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AndSym0 :: TyFun (t Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym0 :: TyFun k (k ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym0 :: TyFun a (a ~> (Bool ~> a)) -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679836822Sym0 :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679836806Sym0 :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679836790Sym0 :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679836774Sym0 :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679836863Scrutinee_6989586621679836691Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679836847Scrutinee_6989586621679836689Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679836766Scrutinee_6989586621679836679Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679836762Scrutinee_6989586621679836677Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680786609Scrutinee_6989586621680786014Sym0 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Proxy suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621681011897Sym0 :: TyFun a (Identity a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621681012013Sym0 :: TyFun (Identity a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680823010Sym0 :: TyFun (Dual a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680823185Sym0 :: TyFun (Sum a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680823360Sym0 :: TyFun (Product a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListtakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListspanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListpartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListnubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListfilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListdropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnionBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SpanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (SelectSym0 :: TyFun (a ~> Bool) (a ~> (([a], [a]) ~> ([a], [a]))) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (PartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378869ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378869YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378869X_6989586621680378870Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378834ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378834YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378834X_6989586621680378835Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IntersectBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [[a]]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Nat]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> Bool)) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DropWhileEndSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteFirstsBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DeleteBySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (BreakSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) | |
Defined in Data.Singletons.Prelude.Base suppressUnusedWarnings :: () # | |
SingI x => SingI ((||@#@$$) x :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI x => SingI ((&&@#@$$) x :: TyFun Bool Bool -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SingI x => SingI ((<=?@#@$$) x :: TyFun Nat Bool -> Type) | |
Defined in Data.Singletons.TypeLits.Internal sing :: Sing ((<=?@#@$$) x) # | |
SAlternative f => SingI (GuardSym0 :: TyFun Bool (f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SApplicative f => SingI (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad sing :: Sing UnlessSym0 # | |
SApplicative f => SingI (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SingI (ListnullSym0 :: TyFun [a] Bool -> Type) | |
SEq a => SingI (ListisPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
SingI (NullSym0 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SEq a => SingI (IsSuffixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing IsSuffixOfSym0 # | |
SEq a => SingI (IsPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing IsPrefixOfSym0 # | |
SEq a => SingI (IsInfixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing IsInfixOfSym0 # | |
SingI (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsNothingSym0 # | |
SingI (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsJustSym0 # | |
SEq a => SingI (ListelemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
SEq a => SingI (NotElemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SEq a => SingI (ElemSym0 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SFoldable t => SingI (OrSym0 :: TyFun (t Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SFoldable t => SingI (AndSym0 :: TyFun (t Bool) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SEq a => SingI ((==@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SEq a => SingI ((/=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SingI (Bool_Sym0 :: TyFun a (a ~> (Bool ~> a)) -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
SOrd a => SingI ((>@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((>=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((<@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SOrd a => SingI ((<=@#@$) :: TyFun a (a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SingI (ListtakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (ListspanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
SingI (ListpartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
SingI (ListnubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) | |
SingI (ListfilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (ListdropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
SingI (UnionBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing UnionBySym0 # | |
SingI (TakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing TakeWhileSym0 # | |
SingI (SpanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (SelectSym0 :: TyFun (a ~> Bool) (a ~> (([a], [a]) ~> ([a], [a]))) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (PartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing PartitionSym0 # | |
SingI (NubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (IntersectBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing IntersectBySym0 # | |
SingI (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [[a]]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing GroupBySym0 # | |
SingI (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Nat]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing FindIndicesSym0 # | |
SingI (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing FindIndexSym0 # | |
SingI (FilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing FilterSym0 # | |
SingI (Elem_bySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> Bool)) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (DropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing DropWhileSym0 # | |
SingI (DropWhileEndSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (DeleteFirstsBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (DeleteBySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing DeleteBySym0 # | |
SingI (BreakSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (AnySym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (AllSym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) | |
Defined in Data.Singletons.Prelude.Base | |
SuppressUnusedWarnings (ListisPrefixOfSym1 a6989586621680748854 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListelemSym1 a6989586621680748782 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal.Disambiguation suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621680379352 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsSuffixOfSym1 a6989586621680379375 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsPrefixOfSym1 a6989586621680379382 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsInfixOfSym1 a6989586621680379368 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 a6989586621680379360 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621680379577 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621680379585 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680822470Sym1 a6989586621680822479 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680822765Sym0 :: TyFun (Either a1 a2) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsRightSym0 :: TyFun (Either a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378657Scrutinee_6989586621680375102Sym0 :: TyFun k1 (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym1 a6989586621680378588 :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813469Scrutinee_6989586621680813411Sym1 x6989586621680813464 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813445Scrutinee_6989586621680813409Sym1 x6989586621680813440 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680822360Sym0 :: TyFun a (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym0 :: TyFun a (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (DefaultEqSym1 a6989586621679818750 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((==@#@$$) a6989586621679818744 :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((/=@#@$$) a6989586621679818747 :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Bool_Sym1 a6989586621679814557 :: TyFun a (Bool ~> a) -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679836822Sym1 a6989586621679836827 :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679836806Sym1 a6989586621679836811 :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679836790Sym1 a6989586621679836795 :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621679836774Sym1 a6989586621679836779 :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679836863Scrutinee_6989586621679836691Sym1 x6989586621679836861 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679836847Scrutinee_6989586621679836689Sym1 x6989586621679836845 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679836766Scrutinee_6989586621679836679Sym1 x6989586621679836760 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679836762Scrutinee_6989586621679836677Sym1 x6989586621679836760 :: TyFun k1 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>@#@$$) a6989586621679836734 :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((>=@#@$$) a6989586621679836739 :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<@#@$$) a6989586621679836724 :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings ((<=@#@$$) a6989586621679836729 :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621681202942Sym0 :: TyFun (Arg a b) (Arg a b ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621681011897Sym1 a6989586621681011902 :: TyFun (Identity a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Identity suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680822878Sym1 a6989586621680822887 :: TyFun (Dual a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680823053Sym1 a6989586621680823062 :: TyFun (Sum a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680823228Sym1 a6989586621680823237 :: TyFun (Product a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680822846Sym1 a6989586621680822851 :: TyFun (Proxy a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680822839Sym0 :: TyFun (Proxy a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680786553Sym0 :: TyFun (Proxy s) (Proxy s ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Proxy suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378736ZsSym0 :: TyFun (k1 ~> (a ~> Bool)) (TyFun k1 (TyFun [a] [a] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378736YsSym0 :: TyFun (k1 ~> (a ~> Bool)) (TyFun k1 (TyFun [a] [a] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378736X_6989586621680378737Sym0 :: TyFun (k1 ~> (a ~> Bool)) (TyFun k1 (TyFun [a] ([a], [a]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378602NubBy'Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k (TyFun [k1] ([k1] ~> [k1]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680378897Sym0 :: TyFun (a ~> Bool) (TyFun k (TyFun a (TyFun [a] [a] -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680821893Sym0 :: TyFun (a ~> Bool) (TyFun k (TyFun a (First a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679989623GoSym0 :: TyFun (k1 ~> Bool) (TyFun (k1 ~> k1) (TyFun k2 (TyFun k1 k1 -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Base suppressUnusedWarnings :: () # | |
(SEq a, SingI d) => SingI (ListisPrefixOfSym1 d :: TyFun [a] Bool -> Type) | |
(SEq a, SingI d) => SingI (ListelemSym1 d :: TyFun [a] Bool -> Type) | |
(SEq a, SingI d) => SingI (NotElemSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
(SEq a, SingI d) => SingI (IsSuffixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (IsSuffixOfSym1 d) # | |
(SEq a, SingI d) => SingI (IsPrefixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (IsPrefixOfSym1 d) # | |
(SEq a, SingI d) => SingI (IsInfixOfSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (IsInfixOfSym1 d) # | |
(SEq a, SingI d) => SingI (ElemSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (AnySym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (AllSym1 d :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (IsRightSym0 :: TyFun (Either a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either sing :: Sing IsRightSym0 # | |
SingI (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Either sing :: Sing IsLeftSym0 # | |
SingI d => SingI (Elem_bySym1 d :: TyFun a ([a] ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
(SFoldable t, SEq a) => SingI (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable sing :: Sing NotElemSym0 # | |
(SFoldable t, SEq a) => SingI (ElemSym0 :: TyFun a (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SEq a, SingI x) => SingI ((==@#@$$) x :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
(SEq a, SingI x) => SingI ((/=@#@$$) x :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Eq | |
SingI d => SingI (Bool_Sym1 d :: TyFun a (Bool ~> a) -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
(SOrd a, SingI d) => SingI ((>@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((>=@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((<@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
(SOrd a, SingI d) => SingI ((<=@#@$$) d :: TyFun a Bool -> Type) | |
Defined in Data.Singletons.Prelude.Ord | |
SMonadPlus m => SingI (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) | |
Defined in Data.Singletons.Prelude.Monad sing :: Sing MfilterSym0 # | |
SApplicative m => SingI (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) | |
Defined in Data.Singletons.Prelude.Monad sing :: Sing FilterMSym0 # | |
SFoldable t => SingI (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SFoldable t => SingI (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SFoldable t => SingI (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (Bool_Sym2 a6989586621679814557 a6989586621679814558 :: TyFun Bool a -> Type) | |
Defined in Data.Singletons.Prelude.Bool suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_bySym2 a6989586621680378588 a6989586621680378589 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681500761Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun Bool ([k1] ~> [k1]) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378901Scrutinee_6989586621680375080Sym0 :: TyFun k1 (TyFun [a] (TyFun (k1 ~> Bool) (TyFun k Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378813Scrutinee_6989586621680375086Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378800Scrutinee_6989586621680375088Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378723Scrutinee_6989586621680375098Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378657Scrutinee_6989586621680375102Sym1 n6989586621680378655 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378638Scrutinee_6989586621680375104Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378625Scrutinee_6989586621680375106Sym0 :: TyFun k1 (TyFun k2 (TyFun [k1] (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378609Scrutinee_6989586621680375108Sym0 :: TyFun k1 (TyFun k2 (TyFun [k1] (TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Null_6989586621680822324Sym0 :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NullSym0 :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (NotElemSym1 a6989586621680821907 :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680822332Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Elem_6989586621680822360Sym1 a6989586621680822369 :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemSym1 a6989586621680822160 :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AnySym1 a6989586621680821965 :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (AllSym1 a6989586621680821956 :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621681202942Sym1 a6989586621681202947 :: TyFun (Arg a b) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680786553Sym1 a6989586621680786558 :: TyFun (Proxy s) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Proxy suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681500758Sym0 :: TyFun (k2 ~> f Bool) (TyFun k3 (TyFun k2 (f [k2] ~> f [k2]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681500596Sym0 :: TyFun (k1 ~> Bool) (TyFun k (TyFun k1 (m k1) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
(SingI d1, SingI d2) => SingI (Bool_Sym2 d1 d2 :: TyFun Bool a -> Type) | |
Defined in Data.Singletons.Prelude.Bool | |
(SingI d1, SingI d2) => SingI (Elem_bySym2 d1 d2 :: TyFun [a] Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SFoldable t => SingI (NullSym0 :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SEq a, SingI d) => SingI (NotElemSym1 d :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable sing :: Sing (NotElemSym1 d) # | |
(SFoldable t, SEq a, SingI d) => SingI (ElemSym1 d :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SingI d) => SingI (AnySym1 d :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
(SFoldable t, SingI d) => SingI (AllSym1 d :: TyFun (t a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (Let6989586621680378901Scrutinee_6989586621680375080Sym1 x6989586621680378899 :: TyFun [a] (TyFun (k1 ~> Bool) (TyFun k Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681500761Sym1 x6989586621681500760 :: TyFun k2 (TyFun k3 (TyFun Bool ([k1] ~> [k1]) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378813Scrutinee_6989586621680375086Sym1 n6989586621680378810 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378800Scrutinee_6989586621680375088Sym1 n6989586621680378797 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378723Scrutinee_6989586621680375098Sym1 key6989586621680378719 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378638Scrutinee_6989586621680375104Sym1 x6989586621680378635 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378625Scrutinee_6989586621680375106Sym1 x6989586621680378622 :: TyFun k2 (TyFun [k1] (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378609Scrutinee_6989586621680375108Sym1 y6989586621680378606 :: TyFun k2 (TyFun [k1] (TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680822332Sym1 a_69895866216808223266989586621680822331 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180309Scrutinee_6989586621680180117Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378625Scrutinee_6989586621680375106Sym2 x6989586621680378622 xs6989586621680378623 :: TyFun [k1] (TyFun k3 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378609Scrutinee_6989586621680375108Sym2 y6989586621680378606 ys6989586621680378607 :: TyFun [k1] (TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681500761Sym2 x6989586621681500760 p6989586621681500756 :: TyFun k3 (TyFun Bool ([k1] ~> [k1]) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378813Scrutinee_6989586621680375086Sym2 n6989586621680378810 x6989586621680378811 :: TyFun k3 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378800Scrutinee_6989586621680375088Sym2 n6989586621680378797 x6989586621680378798 :: TyFun k3 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378723Scrutinee_6989586621680375098Sym2 key6989586621680378719 x6989586621680378720 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378638Scrutinee_6989586621680375104Sym2 x6989586621680378635 xs6989586621680378636 :: TyFun k3 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680822332Sym2 a_69895866216808223266989586621680822331 arg_69895866216808217186989586621680822334 :: TyFun k3 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180309Scrutinee_6989586621680180117Sym1 x6989586621680180308 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180255Scrutinee_6989586621680180131Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180218Scrutinee_6989586621680180141Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378901Scrutinee_6989586621680375080Sym2 x6989586621680378899 xs6989586621680378900 :: TyFun (k1 ~> Bool) (TyFun k Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680378950Sym0 :: TyFun (b ~> (a ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a (TyFun [a] (TyFun b (m b) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621681500761Sym3 x6989586621681500760 p6989586621681500756 a_69895866216815007496989586621681500757 :: TyFun Bool ([k1] ~> [k1]) -> Type) | |
Defined in Data.Singletons.Prelude.Monad suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378901Scrutinee_6989586621680375080Sym3 x6989586621680378899 xs6989586621680378900 p6989586621680378895 :: TyFun k Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378723Scrutinee_6989586621680375098Sym3 key6989586621680378719 x6989586621680378720 y6989586621680378721 :: TyFun k3 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378625Scrutinee_6989586621680375106Sym3 x6989586621680378622 xs6989586621680378623 ls6989586621680378624 :: TyFun k3 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180309Scrutinee_6989586621680180117Sym2 x6989586621680180308 x06989586621680180303 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180255Scrutinee_6989586621680180131Sym1 x16989586621680180250 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180218Scrutinee_6989586621680180141Sym1 x16989586621680180213 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378609Scrutinee_6989586621680375108Sym3 y6989586621680378606 ys6989586621680378607 xs6989586621680378608 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680378609Scrutinee_6989586621680375108Sym4 y6989586621680378606 ys6989586621680378607 xs6989586621680378608 eq6989586621680378600 :: TyFun k3 Bool -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180309Scrutinee_6989586621680180117Sym3 x6989586621680180308 x06989586621680180303 y6989586621680180304 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180255Scrutinee_6989586621680180131Sym2 x16989586621680180250 x26989586621680180251 :: TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180218Scrutinee_6989586621680180141Sym2 x16989586621680180213 x26989586621680180214 :: TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180309Scrutinee_6989586621680180117Sym4 x6989586621680180308 x06989586621680180303 y6989586621680180304 arg_69895866216801801136989586621680180299 :: TyFun k4 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180255Scrutinee_6989586621680180131Sym3 x16989586621680180250 x26989586621680180251 y6989586621680180252 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180218Scrutinee_6989586621680180141Sym3 x16989586621680180213 x26989586621680180214 y6989586621680180215 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180255Scrutinee_6989586621680180131Sym4 x16989586621680180250 x26989586621680180251 y6989586621680180252 arg_69895866216801801256989586621680180245 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180218Scrutinee_6989586621680180141Sym4 x16989586621680180213 x26989586621680180214 y6989586621680180215 arg_69895866216801801356989586621680180208 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180255Scrutinee_6989586621680180131Sym5 x16989586621680180250 x26989586621680180251 y6989586621680180252 arg_69895866216801801256989586621680180245 arg_69895866216801801276989586621680180246 :: TyFun k5 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680180218Scrutinee_6989586621680180141Sym5 x16989586621680180213 x26989586621680180214 y6989586621680180215 arg_69895866216801801356989586621680180208 arg_69895866216801801376989586621680180209 :: TyFun k5 Bool -> Type) | |
Defined in Data.Singletons.Prelude.Enum suppressUnusedWarnings :: () # | |
type Rep Bool | |
newtype Vector Bool | |
type MaxBound | |
Defined in Data.Singletons.Prelude.Enum type MaxBound = MaxBound_6989586621680176216Sym0 | |
type MinBound | |
Defined in Data.Singletons.Prelude.Enum type MinBound = MinBound_6989586621680176213Sym0 | |
type Sing | |
Defined in Data.Singletons.Prelude.Instances | |
type Demote Bool | |
Defined in Data.Singletons.Prelude.Instances | |
type DemoteRep Bool | |
Defined in GHC.Generics | |
data Sing (a :: Bool) | |
type TypeDocFieldDescriptions Bool | |
Defined in Michelson.Typed.Haskell.Doc | |
type ToT Bool | |
Defined in Michelson.Typed.Haskell.Value | |
newtype MVector s Bool | |
type Show_ (arg :: Bool) | |
type FromEnum (a :: Bool) | |
Defined in Data.Singletons.Prelude.Enum | |
type ToEnum a | |
Defined in Data.Singletons.Prelude.Enum | |
type Pred (arg :: Bool) | |
type Succ (arg :: Bool) | |
type UnaryArithResHs Not Bool Source # | |
Defined in Lorentz.Arith | |
type ShowList (arg1 :: [Bool]) arg2 | |
type EnumFromTo (arg1 :: Bool) (arg2 :: Bool) | |
type Min (arg1 :: Bool) (arg2 :: Bool) | |
type Max (arg1 :: Bool) (arg2 :: Bool) | |
type (arg1 :: Bool) >= (arg2 :: Bool) | |
type (arg1 :: Bool) > (arg2 :: Bool) | |
type (arg1 :: Bool) <= (arg2 :: Bool) | |
type (arg1 :: Bool) < (arg2 :: Bool) | |
type Compare (a1 :: Bool) (a2 :: Bool) | |
type (x :: Bool) /= (y :: Bool) | |
type (a :: Bool) == (b :: Bool) | |
Defined in Data.Singletons.Prelude.Eq | |
type ArithResHs And Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ArithResHs Or Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ArithResHs Xor Bool Bool Source # | |
Defined in Lorentz.Arith | |
type ShowsPrec a1 (a2 :: Bool) a3 | |
type EnumFromThenTo (arg1 :: Bool) (arg2 :: Bool) (arg3 :: Bool) | |
type Apply NotSym0 (a6989586621679815944 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply FromEnum_6989586621680203592Sym0 (a6989586621680203596 :: Bool) | |
Defined in Data.Singletons.Prelude.Enum | |
type Apply All_Sym0 (a6989586621680362234 :: Bool) | |
type Apply AllSym0 (a6989586621680249413 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply Any_Sym0 (a6989586621680362228 :: Bool) | |
type Apply AnySym0 (a6989586621680249430 :: Bool) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply ToEnum_6989586621680203579Sym0 (a6989586621680203583 :: Nat) | |
Defined in Data.Singletons.Prelude.Enum | |
type Apply GetAllSym0 (a6989586621680249416 :: All) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply GetAnySym0 (a6989586621680249433 :: Any) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
type Apply ((||@#@$$) a6989586621679815663 :: TyFun Bool Bool -> Type) (a6989586621679815664 :: Bool) | |
type Apply ((&&@#@$$) a6989586621679815361 :: TyFun Bool Bool -> Type) (a6989586621679815362 :: Bool) | |
type Apply (Compare_6989586621679848336Sym1 a6989586621679848341 :: TyFun Bool Ordering -> Type) (a6989586621679848342 :: Bool) | |
type Apply ((<=?@#@$$) a6989586621679910080 :: TyFun Nat Bool -> Type) (a6989586621679910081 :: Nat) | |
Defined in Data.Singletons.TypeLits.Internal | |
type Apply (Let6989586621680786609Scrutinee_6989586621680786014Sym0 :: TyFun k1 Bool -> Type) (n6989586621680786608 :: k1) | |
Defined in Data.Singletons.Prelude.Proxy | |
type Apply (Let6989586621680813445Scrutinee_6989586621680813409Sym1 x6989586621680813440 :: TyFun k1 Bool -> Type) (y6989586621680813441 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680813469Scrutinee_6989586621680813411Sym1 x6989586621680813464 :: TyFun k1 Bool -> Type) (y6989586621680813465 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply ((==@#@$$) a6989586621679818744 :: TyFun a Bool -> Type) (a6989586621679818745 :: a) | |
type Apply ((/=@#@$$) a6989586621679818747 :: TyFun a Bool -> Type) (a6989586621679818748 :: a) | |
type Apply (DefaultEqSym1 a6989586621679818750 :: TyFun k Bool -> Type) (a6989586621679818751 :: k) | |
Defined in Data.Singletons.Prelude.Eq type Apply (DefaultEqSym1 a6989586621679818750 :: TyFun k Bool -> Type) (a6989586621679818751 :: k) = DefaultEqSym2 a6989586621679818750 a6989586621679818751 | |
type Apply (Let6989586621679836762Scrutinee_6989586621679836677Sym1 x6989586621679836760 :: TyFun k1 Bool -> Type) (y6989586621679836761 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679836822Sym1 a6989586621679836827 :: TyFun a Bool -> Type) (a6989586621679836828 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679836806Sym1 a6989586621679836811 :: TyFun a Bool -> Type) (a6989586621679836812 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679836790Sym1 a6989586621679836795 :: TyFun a Bool -> Type) (a6989586621679836796 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (TFHelper_6989586621679836774Sym1 a6989586621679836779 :: TyFun a Bool -> Type) (a6989586621679836780 :: a) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ((<=@#@$$) a6989586621679836729 :: TyFun a Bool -> Type) (a6989586621679836730 :: a) | |
type Apply ((>=@#@$$) a6989586621679836739 :: TyFun a Bool -> Type) (a6989586621679836740 :: a) | |
type Apply ((>@#@$$) a6989586621679836734 :: TyFun a Bool -> Type) (a6989586621679836735 :: a) | |
type Apply (Let6989586621679836863Scrutinee_6989586621679836691Sym1 x6989586621679836861 :: TyFun k1 Bool -> Type) (y6989586621679836862 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (Let6989586621679836847Scrutinee_6989586621679836689Sym1 x6989586621679836845 :: TyFun k1 Bool -> Type) (y6989586621679836846 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply (Let6989586621679836766Scrutinee_6989586621679836679Sym1 x6989586621679836760 :: TyFun k1 Bool -> Type) (y6989586621679836761 :: k1) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ((<@#@$$) a6989586621679836724 :: TyFun a Bool -> Type) (a6989586621679836725 :: a) | |
type Apply (Bool_Sym2 a6989586621679814557 a6989586621679814558 :: TyFun Bool a -> Type) (a6989586621679814559 :: Bool) | |
type Apply (Let6989586621680378657Scrutinee_6989586621680375102Sym1 n6989586621680378655 :: TyFun k Bool -> Type) (x6989586621680378656 :: k) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621680378638Scrutinee_6989586621680375104Sym2 x6989586621680378635 xs6989586621680378636 :: TyFun k3 Bool -> Type) (n6989586621680378637 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621680378800Scrutinee_6989586621680375088Sym2 n6989586621680378797 x6989586621680378798 :: TyFun k3 Bool -> Type) (xs6989586621680378799 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621680378813Scrutinee_6989586621680375086Sym2 n6989586621680378810 x6989586621680378811 :: TyFun k3 Bool -> Type) (xs6989586621680378812 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Lambda_6989586621680822332Sym2 a_69895866216808223266989586621680822331 arg_69895866216808217186989586621680822334 :: TyFun k3 Bool -> Type) (arg_69895866216808217206989586621680822335 :: k3) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Lambda_6989586621680822332Sym2 a_69895866216808223266989586621680822331 arg_69895866216808217186989586621680822334 :: TyFun k3 Bool -> Type) (arg_69895866216808217206989586621680822335 :: k3) = Lambda_6989586621680822332Sym3 a_69895866216808223266989586621680822331 arg_69895866216808217186989586621680822334 arg_69895866216808217206989586621680822335 | |
type Apply (Let6989586621680378723Scrutinee_6989586621680375098Sym3 key6989586621680378719 x6989586621680378720 y6989586621680378721 :: TyFun k3 Bool -> Type) (xys6989586621680378722 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378723Scrutinee_6989586621680375098Sym3 key6989586621680378719 x6989586621680378720 y6989586621680378721 :: TyFun k3 Bool -> Type) (xys6989586621680378722 :: k3) = Let6989586621680378723Scrutinee_6989586621680375098Sym4 key6989586621680378719 x6989586621680378720 y6989586621680378721 xys6989586621680378722 | |
type Apply (Let6989586621680378625Scrutinee_6989586621680375106Sym3 x6989586621680378622 xs6989586621680378623 ls6989586621680378624 :: TyFun k3 Bool -> Type) (l6989586621680378617 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378625Scrutinee_6989586621680375106Sym3 x6989586621680378622 xs6989586621680378623 ls6989586621680378624 :: TyFun k3 Bool -> Type) (l6989586621680378617 :: k3) = Let6989586621680378625Scrutinee_6989586621680375106Sym4 x6989586621680378622 xs6989586621680378623 ls6989586621680378624 l6989586621680378617 | |
type Apply (Let6989586621680378901Scrutinee_6989586621680375080Sym3 x6989586621680378899 xs6989586621680378900 p6989586621680378895 :: TyFun k Bool -> Type) (a_69895866216803788886989586621680378896 :: k) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378901Scrutinee_6989586621680375080Sym3 x6989586621680378899 xs6989586621680378900 p6989586621680378895 :: TyFun k Bool -> Type) (a_69895866216803788886989586621680378896 :: k) = Let6989586621680378901Scrutinee_6989586621680375080Sym4 x6989586621680378899 xs6989586621680378900 p6989586621680378895 a_69895866216803788886989586621680378896 | |
type Apply (Let6989586621680378609Scrutinee_6989586621680375108Sym4 y6989586621680378606 ys6989586621680378607 xs6989586621680378608 eq6989586621680378600 :: TyFun k3 Bool -> Type) (l6989586621680378601 :: k3) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378609Scrutinee_6989586621680375108Sym4 y6989586621680378606 ys6989586621680378607 xs6989586621680378608 eq6989586621680378600 :: TyFun k3 Bool -> Type) (l6989586621680378601 :: k3) = Let6989586621680378609Scrutinee_6989586621680375108Sym5 y6989586621680378606 ys6989586621680378607 xs6989586621680378608 eq6989586621680378600 l6989586621680378601 | |
type Apply (Let6989586621680180309Scrutinee_6989586621680180117Sym4 x6989586621680180308 x06989586621680180303 y6989586621680180304 arg_69895866216801801136989586621680180299 :: TyFun k4 Bool -> Type) (arg_69895866216801801156989586621680180300 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180309Scrutinee_6989586621680180117Sym4 x6989586621680180308 x06989586621680180303 y6989586621680180304 arg_69895866216801801136989586621680180299 :: TyFun k4 Bool -> Type) (arg_69895866216801801156989586621680180300 :: k4) = Let6989586621680180309Scrutinee_6989586621680180117Sym5 x6989586621680180308 x06989586621680180303 y6989586621680180304 arg_69895866216801801136989586621680180299 arg_69895866216801801156989586621680180300 | |
type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym5 x16989586621680180213 x26989586621680180214 y6989586621680180215 arg_69895866216801801356989586621680180208 arg_69895866216801801376989586621680180209 :: TyFun k5 Bool -> Type) (arg_69895866216801801396989586621680180210 :: k5) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym5 x16989586621680180213 x26989586621680180214 y6989586621680180215 arg_69895866216801801356989586621680180208 arg_69895866216801801376989586621680180209 :: TyFun k5 Bool -> Type) (arg_69895866216801801396989586621680180210 :: k5) = Let6989586621680180218Scrutinee_6989586621680180141Sym6 x16989586621680180213 x26989586621680180214 y6989586621680180215 arg_69895866216801801356989586621680180208 arg_69895866216801801376989586621680180209 arg_69895866216801801396989586621680180210 | |
type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym5 x16989586621680180250 x26989586621680180251 y6989586621680180252 arg_69895866216801801256989586621680180245 arg_69895866216801801276989586621680180246 :: TyFun k5 Bool -> Type) (arg_69895866216801801296989586621680180247 :: k5) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym5 x16989586621680180250 x26989586621680180251 y6989586621680180252 arg_69895866216801801256989586621680180245 arg_69895866216801801276989586621680180246 :: TyFun k5 Bool -> Type) (arg_69895866216801801296989586621680180247 :: k5) = Let6989586621680180255Scrutinee_6989586621680180131Sym6 x16989586621680180250 x26989586621680180251 y6989586621680180252 arg_69895866216801801256989586621680180245 arg_69895866216801801276989586621680180246 arg_69895866216801801296989586621680180247 | |
type Eval (Not 'False) | |
Defined in Fcf.Data.Bool | |
type Eval (Not 'True) | |
Defined in Fcf.Data.Bool | |
type Apply (GuardSym0 :: TyFun Bool (f ()) -> Type) (a6989586621680011056 :: Bool) | |
type Eval (Null (a2 ': as) :: Bool -> Type) | |
type Eval (Null ('[] :: [a]) :: Bool -> Type) | |
type Eval (And lst :: Bool -> Type) | |
type Eval (Or lst :: Bool -> Type) | |
type Eval (a <= b :: Bool -> Type) | |
type Eval (a >= b :: Bool -> Type) | |
type Eval (a < b :: Bool -> Type) | |
type Eval (a > b :: Bool -> Type) | |
type Eval (IsNothing ('Nothing :: Maybe a) :: Bool -> Type) | |
type Eval (IsNothing ('Just _a) :: Bool -> Type) | |
type Eval (IsJust ('Nothing :: Maybe a) :: Bool -> Type) | |
type Eval (IsJust ('Just _a) :: Bool -> Type) | |
type Eval ('False || b :: Bool -> Type) | |
type Eval ('True || b :: Bool -> Type) | |
type Eval (a || 'False :: Bool -> Type) | |
type Eval (a || 'True :: Bool -> Type) | |
type Eval ('False && b :: Bool -> Type) | |
type Eval ('True && b :: Bool -> Type) | |
type Eval (a && 'True :: Bool -> Type) | |
type Eval (a && 'False :: Bool -> Type) | |
type Apply (||@#@$) (a6989586621679815663 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply (&&@#@$) (a6989586621679815361 :: Bool) | |
Defined in Data.Singletons.Prelude.Bool | |
type Apply Compare_6989586621679848336Sym0 (a6989586621679848341 :: Bool) | |
Defined in Data.Singletons.Prelude.Ord | |
type Apply ShowParenSym0 (a6989586621680636038 :: Bool) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply ShowsPrec_6989586621680653401Sym0 (a6989586621680653411 :: Nat) | |
Defined in Data.Singletons.Prelude.Show | |
type Apply (<=?@#@$) (a6989586621679910080 :: Nat) | |
Defined in Data.Singletons.TypeLits.Internal | |
type Apply (ShowsPrec_6989586621680653401Sym1 a6989586621680653411 :: TyFun Bool (Symbol ~> Symbol) -> Type) (a6989586621680653412 :: Bool) | |
type Apply (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621681500621 :: Bool) | |
Defined in Data.Singletons.Prelude.Monad type Apply (UnlessSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621681500621 :: Bool) = UnlessSym1 a6989586621681500621 :: TyFun (f ()) (f ()) -> Type | |
type Apply (WhenSym0 :: TyFun Bool (f () ~> f ()) -> Type) (a6989586621680011200 :: Bool) | |
type Apply (ListelemSym0 :: TyFun a ([a] ~> Bool) -> Type) (a6989586621680748782 :: a) | |
type Apply (NotElemSym0 :: TyFun a ([a] ~> Bool) -> Type) (a6989586621680379352 :: a) | |
type Apply (ElemSym0 :: TyFun a ([a] ~> Bool) -> Type) (a6989586621680379360 :: a) | |
type Apply (Let6989586621680813445Scrutinee_6989586621680813409Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621680813440 :: k1) | |
type Apply (Let6989586621680813469Scrutinee_6989586621680813411Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621680813464 :: k1) | |
type Apply (Elem_6989586621680822470Sym0 :: TyFun a ([a] ~> Bool) -> Type) (a6989586621680822479 :: a) | |
type Apply (Elem_6989586621680822846Sym0 :: TyFun a (Proxy a ~> Bool) -> Type) (a6989586621680822851 :: a) | |
type Apply (Elem_6989586621680822878Sym0 :: TyFun a (Dual a ~> Bool) -> Type) (a6989586621680822887 :: a) | |
type Apply (Elem_6989586621680823053Sym0 :: TyFun a (Sum a ~> Bool) -> Type) (a6989586621680823062 :: a) | |
type Apply (Elem_6989586621680823228Sym0 :: TyFun a (Product a ~> Bool) -> Type) (a6989586621680823237 :: a) | |
type Apply ((==@#@$) :: TyFun a (a ~> Bool) -> Type) (a6989586621679818744 :: a) | |
type Apply ((/=@#@$) :: TyFun a (a ~> Bool) -> Type) (a6989586621679818747 :: a) | |
type Apply (DefaultEqSym0 :: TyFun k (k ~> Bool) -> Type) (a6989586621679818750 :: k) | |
Defined in Data.Singletons.Prelude.Eq type Apply (DefaultEqSym0 :: TyFun k (k ~> Bool) -> Type) (a6989586621679818750 :: k) = DefaultEqSym1 a6989586621679818750 | |
type Apply (Bool_Sym0 :: TyFun a (a ~> (Bool ~> a)) -> Type) (a6989586621679814557 :: a) | |
type Apply (Let6989586621679836762Scrutinee_6989586621679836677Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679836760 :: k1) | |
type Apply (TFHelper_6989586621679836822Sym0 :: TyFun a (a ~> Bool) -> Type) (a6989586621679836827 :: a) | |
type Apply (TFHelper_6989586621679836806Sym0 :: TyFun a (a ~> Bool) -> Type) (a6989586621679836811 :: a) | |
type Apply (TFHelper_6989586621679836790Sym0 :: TyFun a (a ~> Bool) -> Type) (a6989586621679836795 :: a) | |
type Apply (TFHelper_6989586621679836774Sym0 :: TyFun a (a ~> Bool) -> Type) (a6989586621679836779 :: a) | |
type Apply ((<=@#@$) :: TyFun a (a ~> Bool) -> Type) (a6989586621679836729 :: a) | |
type Apply ((>=@#@$) :: TyFun a (a ~> Bool) -> Type) (a6989586621679836739 :: a) | |
type Apply ((>@#@$) :: TyFun a (a ~> Bool) -> Type) (a6989586621679836734 :: a) | |
type Apply (Let6989586621679836863Scrutinee_6989586621679836691Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679836861 :: k1) | |
type Apply (Let6989586621679836847Scrutinee_6989586621679836689Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679836845 :: k1) | |
type Apply (Let6989586621679836766Scrutinee_6989586621679836679Sym0 :: TyFun k1 (TyFun k1 Bool -> Type) -> Type) (x6989586621679836760 :: k1) | |
type Apply ((<@#@$) :: TyFun a (a ~> Bool) -> Type) (a6989586621679836724 :: a) | |
type Apply (Elem_6989586621681011897Sym0 :: TyFun a (Identity a ~> Bool) -> Type) (a6989586621681011902 :: a) | |
type Apply (Let6989586621680378657Scrutinee_6989586621680375102Sym0 :: TyFun k1 (TyFun k Bool -> Type) -> Type) (n6989586621680378655 :: k1) | |
type Apply (Elem_bySym1 a6989586621680378588 :: TyFun a ([a] ~> Bool) -> Type) (a6989586621680378589 :: a) | |
type Apply (Elem_6989586621680822360Sym0 :: TyFun a (t a ~> Bool) -> Type) (a6989586621680822369 :: a) | |
type Apply (ElemSym0 :: TyFun a (t a ~> Bool) -> Type) (a6989586621680822160 :: a) | |
type Apply (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) (a6989586621680821907 :: a) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (NotElemSym0 :: TyFun a (t a ~> Bool) -> Type) (a6989586621680821907 :: a) = NotElemSym1 a6989586621680821907 :: TyFun (t a) Bool -> Type | |
type Apply (Bool_Sym1 a6989586621679814557 :: TyFun a (Bool ~> a) -> Type) (a6989586621679814558 :: a) | |
type Apply (Lambda_6989586621681500761Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 (TyFun Bool ([k1] ~> [k1]) -> Type) -> Type) -> Type) -> Type) (x6989586621681500760 :: k1) | |
Defined in Data.Singletons.Prelude.Monad | |
type Apply (Let6989586621680378638Scrutinee_6989586621680375104Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621680378635 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621680378723Scrutinee_6989586621680375098Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (key6989586621680378719 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378723Scrutinee_6989586621680375098Sym0 :: TyFun k1 (TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (key6989586621680378719 :: k1) = Let6989586621680378723Scrutinee_6989586621680375098Sym1 key6989586621680378719 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type | |
type Apply (Let6989586621680378800Scrutinee_6989586621680375088Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (n6989586621680378797 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621680378813Scrutinee_6989586621680375086Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (n6989586621680378810 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621680378609Scrutinee_6989586621680375108Sym0 :: TyFun k1 (TyFun k2 (TyFun [k1] (TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (y6989586621680378606 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378609Scrutinee_6989586621680375108Sym0 :: TyFun k1 (TyFun k2 (TyFun [k1] (TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (y6989586621680378606 :: k1) = Let6989586621680378609Scrutinee_6989586621680375108Sym1 y6989586621680378606 :: TyFun k2 (TyFun [k1] (TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type | |
type Apply (Let6989586621680378625Scrutinee_6989586621680375106Sym0 :: TyFun k1 (TyFun k2 (TyFun [k1] (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (x6989586621680378622 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378625Scrutinee_6989586621680375106Sym0 :: TyFun k1 (TyFun k2 (TyFun [k1] (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (x6989586621680378622 :: k1) = Let6989586621680378625Scrutinee_6989586621680375106Sym1 x6989586621680378622 :: TyFun k2 (TyFun [k1] (TyFun k3 Bool -> Type) -> Type) -> Type | |
type Apply (Let6989586621680378901Scrutinee_6989586621680375080Sym0 :: TyFun k1 (TyFun [a] (TyFun (k1 ~> Bool) (TyFun k Bool -> Type) -> Type) -> Type) -> Type) (x6989586621680378899 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378901Scrutinee_6989586621680375080Sym0 :: TyFun k1 (TyFun [a] (TyFun (k1 ~> Bool) (TyFun k Bool -> Type) -> Type) -> Type) -> Type) (x6989586621680378899 :: k1) = Let6989586621680378901Scrutinee_6989586621680375080Sym1 x6989586621680378899 :: TyFun [a] (TyFun (k1 ~> Bool) (TyFun k Bool -> Type) -> Type) -> Type | |
type Apply (Lambda_6989586621680822332Sym0 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (a_69895866216808223266989586621680822331 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Lambda_6989586621681500761Sym1 x6989586621681500760 :: TyFun k2 (TyFun k3 (TyFun Bool ([k1] ~> [k1]) -> Type) -> Type) -> Type) (p6989586621681500756 :: k2) | |
Defined in Data.Singletons.Prelude.Monad | |
type Apply (Let6989586621680378638Scrutinee_6989586621680375104Sym1 x6989586621680378635 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (xs6989586621680378636 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621680378723Scrutinee_6989586621680375098Sym1 key6989586621680378719 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621680378720 :: k1) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378723Scrutinee_6989586621680375098Sym1 key6989586621680378719 :: TyFun k1 (TyFun k2 (TyFun k3 Bool -> Type) -> Type) -> Type) (x6989586621680378720 :: k1) = Let6989586621680378723Scrutinee_6989586621680375098Sym2 key6989586621680378719 x6989586621680378720 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type | |
type Apply (Let6989586621680378800Scrutinee_6989586621680375088Sym1 n6989586621680378797 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (x6989586621680378798 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621680378813Scrutinee_6989586621680375086Sym1 n6989586621680378810 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (x6989586621680378811 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621680378609Scrutinee_6989586621680375108Sym1 y6989586621680378606 :: TyFun k2 (TyFun [k1] (TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (ys6989586621680378607 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378609Scrutinee_6989586621680375108Sym1 y6989586621680378606 :: TyFun k2 (TyFun [k1] (TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) -> Type) -> Type) (ys6989586621680378607 :: k2) = Let6989586621680378609Scrutinee_6989586621680375108Sym2 y6989586621680378606 ys6989586621680378607 :: TyFun [k1] (TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) -> Type | |
type Apply (Let6989586621680378625Scrutinee_6989586621680375106Sym1 x6989586621680378622 :: TyFun k2 (TyFun [k1] (TyFun k3 Bool -> Type) -> Type) -> Type) (xs6989586621680378623 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378625Scrutinee_6989586621680375106Sym1 x6989586621680378622 :: TyFun k2 (TyFun [k1] (TyFun k3 Bool -> Type) -> Type) -> Type) (xs6989586621680378623 :: k2) = Let6989586621680378625Scrutinee_6989586621680375106Sym2 x6989586621680378622 xs6989586621680378623 :: TyFun [k1] (TyFun k3 Bool -> Type) -> Type | |
type Apply (Lambda_6989586621680822332Sym1 a_69895866216808223266989586621680822331 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (arg_69895866216808217186989586621680822334 :: k2) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Lambda_6989586621680822332Sym1 a_69895866216808223266989586621680822331 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (arg_69895866216808217186989586621680822334 :: k2) = Lambda_6989586621680822332Sym2 a_69895866216808223266989586621680822331 arg_69895866216808217186989586621680822334 :: TyFun k3 Bool -> Type | |
type Apply (Let6989586621680180309Scrutinee_6989586621680180117Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x6989586621680180308 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180309Scrutinee_6989586621680180117Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x6989586621680180308 :: k1) = Let6989586621680180309Scrutinee_6989586621680180117Sym1 x6989586621680180308 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type | |
type Apply (Lambda_6989586621681500761Sym2 x6989586621681500760 p6989586621681500756 :: TyFun k3 (TyFun Bool ([k1] ~> [k1]) -> Type) -> Type) (a_69895866216815007496989586621681500757 :: k3) | |
Defined in Data.Singletons.Prelude.Monad type Apply (Lambda_6989586621681500761Sym2 x6989586621681500760 p6989586621681500756 :: TyFun k3 (TyFun Bool ([k1] ~> [k1]) -> Type) -> Type) (a_69895866216815007496989586621681500757 :: k3) = Lambda_6989586621681500761Sym3 x6989586621681500760 p6989586621681500756 a_69895866216815007496989586621681500757 | |
type Apply (Let6989586621680378723Scrutinee_6989586621680375098Sym2 key6989586621680378719 x6989586621680378720 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (y6989586621680378721 :: k2) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378723Scrutinee_6989586621680375098Sym2 key6989586621680378719 x6989586621680378720 :: TyFun k2 (TyFun k3 Bool -> Type) -> Type) (y6989586621680378721 :: k2) = Let6989586621680378723Scrutinee_6989586621680375098Sym3 key6989586621680378719 x6989586621680378720 y6989586621680378721 :: TyFun k3 Bool -> Type | |
type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621680180213 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621680180213 :: k1) = Let6989586621680180218Scrutinee_6989586621680180141Sym1 x16989586621680180213 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type | |
type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621680180250 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym0 :: TyFun k1 (TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (x16989586621680180250 :: k1) = Let6989586621680180255Scrutinee_6989586621680180131Sym1 x16989586621680180250 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type | |
type Apply (Let6989586621680180309Scrutinee_6989586621680180117Sym1 x6989586621680180308 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) (x06989586621680180303 :: k2) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180309Scrutinee_6989586621680180117Sym1 x6989586621680180308 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) -> Type) (x06989586621680180303 :: k2) = Let6989586621680180309Scrutinee_6989586621680180117Sym2 x6989586621680180308 x06989586621680180303 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type | |
type Apply (Lambda_6989586621681500761Sym3 x6989586621681500760 p6989586621681500756 a_69895866216815007496989586621681500757 :: TyFun Bool ([k1] ~> [k1]) -> Type) (flg6989586621681500763 :: Bool) | |
Defined in Data.Singletons.Prelude.Monad type Apply (Lambda_6989586621681500761Sym3 x6989586621681500760 p6989586621681500756 a_69895866216815007496989586621681500757 :: TyFun Bool ([k1] ~> [k1]) -> Type) (flg6989586621681500763 :: Bool) = Lambda_6989586621681500761Sym4 x6989586621681500760 p6989586621681500756 a_69895866216815007496989586621681500757 flg6989586621681500763 | |
type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym1 x16989586621680180213 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621680180214 :: k2) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym1 x16989586621680180213 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621680180214 :: k2) = Let6989586621680180218Scrutinee_6989586621680180141Sym2 x16989586621680180213 x26989586621680180214 :: TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type | |
type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym1 x16989586621680180250 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621680180251 :: k2) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym1 x16989586621680180250 :: TyFun k2 (TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) -> Type) (x26989586621680180251 :: k2) = Let6989586621680180255Scrutinee_6989586621680180131Sym2 x16989586621680180250 x26989586621680180251 :: TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type | |
type Apply (Let6989586621680180309Scrutinee_6989586621680180117Sym2 x6989586621680180308 x06989586621680180303 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) (y6989586621680180304 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180309Scrutinee_6989586621680180117Sym2 x6989586621680180308 x06989586621680180303 :: TyFun k1 (TyFun k3 (TyFun k4 Bool -> Type) -> Type) -> Type) (y6989586621680180304 :: k1) = Let6989586621680180309Scrutinee_6989586621680180117Sym3 x6989586621680180308 x06989586621680180303 y6989586621680180304 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type | |
type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym2 x16989586621680180213 x26989586621680180214 :: TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621680180215 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym2 x16989586621680180213 x26989586621680180214 :: TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621680180215 :: k1) = Let6989586621680180218Scrutinee_6989586621680180141Sym3 x16989586621680180213 x26989586621680180214 y6989586621680180215 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type | |
type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym2 x16989586621680180250 x26989586621680180251 :: TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621680180252 :: k1) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym2 x16989586621680180250 x26989586621680180251 :: TyFun k1 (TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) -> Type) (y6989586621680180252 :: k1) = Let6989586621680180255Scrutinee_6989586621680180131Sym3 x16989586621680180250 x26989586621680180251 y6989586621680180252 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type | |
type Apply (Let6989586621680180309Scrutinee_6989586621680180117Sym3 x6989586621680180308 x06989586621680180303 y6989586621680180304 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) (arg_69895866216801801136989586621680180299 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180309Scrutinee_6989586621680180117Sym3 x6989586621680180308 x06989586621680180303 y6989586621680180304 :: TyFun k3 (TyFun k4 Bool -> Type) -> Type) (arg_69895866216801801136989586621680180299 :: k3) = Let6989586621680180309Scrutinee_6989586621680180117Sym4 x6989586621680180308 x06989586621680180303 y6989586621680180304 arg_69895866216801801136989586621680180299 :: TyFun k4 Bool -> Type | |
type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym3 x16989586621680180213 x26989586621680180214 y6989586621680180215 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216801801356989586621680180208 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym3 x16989586621680180213 x26989586621680180214 y6989586621680180215 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216801801356989586621680180208 :: k3) = Let6989586621680180218Scrutinee_6989586621680180141Sym4 x16989586621680180213 x26989586621680180214 y6989586621680180215 arg_69895866216801801356989586621680180208 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type | |
type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym3 x16989586621680180250 x26989586621680180251 y6989586621680180252 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216801801256989586621680180245 :: k3) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym3 x16989586621680180250 x26989586621680180251 y6989586621680180252 :: TyFun k3 (TyFun k4 (TyFun k5 Bool -> Type) -> Type) -> Type) (arg_69895866216801801256989586621680180245 :: k3) = Let6989586621680180255Scrutinee_6989586621680180131Sym4 x16989586621680180250 x26989586621680180251 y6989586621680180252 arg_69895866216801801256989586621680180245 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type | |
type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym4 x16989586621680180213 x26989586621680180214 y6989586621680180215 arg_69895866216801801356989586621680180208 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216801801376989586621680180209 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180218Scrutinee_6989586621680180141Sym4 x16989586621680180213 x26989586621680180214 y6989586621680180215 arg_69895866216801801356989586621680180208 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216801801376989586621680180209 :: k4) = Let6989586621680180218Scrutinee_6989586621680180141Sym5 x16989586621680180213 x26989586621680180214 y6989586621680180215 arg_69895866216801801356989586621680180208 arg_69895866216801801376989586621680180209 :: TyFun k5 Bool -> Type | |
type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym4 x16989586621680180250 x26989586621680180251 y6989586621680180252 arg_69895866216801801256989586621680180245 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216801801276989586621680180246 :: k4) | |
Defined in Data.Singletons.Prelude.Enum type Apply (Let6989586621680180255Scrutinee_6989586621680180131Sym4 x16989586621680180250 x26989586621680180251 y6989586621680180252 arg_69895866216801801256989586621680180245 :: TyFun k4 (TyFun k5 Bool -> Type) -> Type) (arg_69895866216801801276989586621680180246 :: k4) = Let6989586621680180255Scrutinee_6989586621680180131Sym5 x16989586621680180250 x26989586621680180251 y6989586621680180252 arg_69895866216801801256989586621680180245 arg_69895866216801801276989586621680180246 :: TyFun k5 Bool -> Type | |
type Eval (IsPrefixOf xs ys :: Bool -> Type) | |
Defined in Fcf.Data.List | |
type Eval (IsSuffixOf xs ys :: Bool -> Type) | |
Defined in Fcf.Data.List | |
type Eval (IsInfixOf xs ys :: Bool -> Type) | |
type Eval (Elem a2 as :: Bool -> Type) | |
type Eval (IsLeft ('Right _a :: Either a b) :: Bool -> Type) | |
type Eval (IsLeft ('Left _a :: Either a b) :: Bool -> Type) | |
type Eval (IsRight ('Right _a :: Either a b) :: Bool -> Type) | |
type Eval (IsRight ('Left _a :: Either a b) :: Bool -> Type) | |
type Eval (TyEq a b :: Bool -> Type) | |
type Eval (All p lst :: Bool -> Type) | |
type Eval (Any p lst :: Bool -> Type) | |
type Eval (TyEqSing a b :: Bool -> Type) | |
type Apply OrSym0 (a6989586621680379592 :: [Bool]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply AndSym0 (a6989586621680379597 :: [Bool]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (ListnullSym0 :: TyFun [a] Bool -> Type) (a6989586621680748691 :: [a]) | |
type Apply (NullSym0 :: TyFun [a] Bool -> Type) (a6989586621680379770 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Null_6989586621680822604Sym0 :: TyFun [a] Bool -> Type) (a6989586621680822610 :: [a]) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679958803 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679958803 :: Maybe a) = IsNothingSym1 a6989586621679958803 | |
type Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679958806 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679958806 :: Maybe a) = IsJustSym1 a6989586621679958806 | |
type Apply (AndSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680821979 :: t Bool) | |
type Apply (OrSym0 :: TyFun (t Bool) Bool -> Type) (a6989586621680821973 :: t Bool) | |
type Apply (Null_6989586621681012013Sym0 :: TyFun (Identity a) Bool -> Type) (a6989586621681012017 :: Identity a) | |
type Apply (Null_6989586621680823010Sym0 :: TyFun (Dual a) Bool -> Type) (a6989586621680823014 :: Dual a) | |
type Apply (Null_6989586621680823185Sym0 :: TyFun (Sum a) Bool -> Type) (a6989586621680823189 :: Sum a) | |
type Apply (Null_6989586621680823360Sym0 :: TyFun (Product a) Bool -> Type) (a6989586621680823364 :: Product a) | |
type Apply (ListelemSym1 a6989586621680748782 :: TyFun [a] Bool -> Type) (a6989586621680748783 :: [a]) | |
type Apply (ListisPrefixOfSym1 a6989586621680748854 :: TyFun [a] Bool -> Type) (a6989586621680748855 :: [a]) | |
type Apply (NotElemSym1 a6989586621680379352 :: TyFun [a] Bool -> Type) (a6989586621680379353 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (ElemSym1 a6989586621680379360 :: TyFun [a] Bool -> Type) (a6989586621680379361 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsPrefixOfSym1 a6989586621680379382 :: TyFun [a] Bool -> Type) (a6989586621680379383 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsPrefixOfSym1 a6989586621680379382 :: TyFun [a] Bool -> Type) (a6989586621680379383 :: [a]) = IsPrefixOfSym2 a6989586621680379382 a6989586621680379383 | |
type Apply (AnySym1 a6989586621680379577 :: TyFun [a] Bool -> Type) (a6989586621680379578 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsInfixOfSym1 a6989586621680379368 :: TyFun [a] Bool -> Type) (a6989586621680379369 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsInfixOfSym1 a6989586621680379368 :: TyFun [a] Bool -> Type) (a6989586621680379369 :: [a]) = IsInfixOfSym2 a6989586621680379368 a6989586621680379369 | |
type Apply (AllSym1 a6989586621680379585 :: TyFun [a] Bool -> Type) (a6989586621680379586 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (IsSuffixOfSym1 a6989586621680379375 :: TyFun [a] Bool -> Type) (a6989586621680379376 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsSuffixOfSym1 a6989586621680379375 :: TyFun [a] Bool -> Type) (a6989586621680379376 :: [a]) = IsSuffixOfSym2 a6989586621680379375 a6989586621680379376 | |
type Apply (Elem_6989586621680822470Sym1 a6989586621680822479 :: TyFun [a] Bool -> Type) (a6989586621680822480 :: [a]) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Elem_6989586621681011897Sym1 a6989586621681011902 :: TyFun (Identity a) Bool -> Type) (a6989586621681011903 :: Identity a) | |
type Apply (Elem_6989586621680822878Sym1 a6989586621680822887 :: TyFun (Dual a) Bool -> Type) (a6989586621680822888 :: Dual a) | |
type Apply (Elem_6989586621680823053Sym1 a6989586621680823062 :: TyFun (Sum a) Bool -> Type) (a6989586621680823063 :: Sum a) | |
type Apply (Elem_6989586621680823228Sym1 a6989586621680823237 :: TyFun (Product a) Bool -> Type) (a6989586621680823238 :: Product a) | |
type Apply (Elem_bySym2 a6989586621680378588 a6989586621680378589 :: TyFun [a] Bool -> Type) (a6989586621680378590 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Elem_6989586621680822360Sym1 a6989586621680822369 :: TyFun (t a) Bool -> Type) (a6989586621680822370 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Null_6989586621680822324Sym0 :: TyFun (t a) Bool -> Type) (a6989586621680822330 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (AnySym1 a6989586621680821965 :: TyFun (t a) Bool -> Type) (a6989586621680821966 :: t a) | |
type Apply (ElemSym1 a6989586621680822160 :: TyFun (t a) Bool -> Type) (a6989586621680822161 :: t a) | |
type Apply (NotElemSym1 a6989586621680821907 :: TyFun (t a) Bool -> Type) (a6989586621680821908 :: t a) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (NotElemSym1 a6989586621680821907 :: TyFun (t a) Bool -> Type) (a6989586621680821908 :: t a) = NotElemSym2 a6989586621680821907 a6989586621680821908 | |
type Apply (NullSym0 :: TyFun (t a) Bool -> Type) (a6989586621680822153 :: t a) | |
type Apply (AllSym1 a6989586621680821956 :: TyFun (t a) Bool -> Type) (a6989586621680821957 :: t a) | |
type Apply (ListisPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) (a6989586621680748854 :: [a]) | |
type Apply (IsPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) (a6989586621680379382 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsPrefixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) (a6989586621680379382 :: [a]) = IsPrefixOfSym1 a6989586621680379382 | |
type Apply (IsInfixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) (a6989586621680379368 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsInfixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) (a6989586621680379368 :: [a]) = IsInfixOfSym1 a6989586621680379368 | |
type Apply (IsSuffixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) (a6989586621680379375 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (IsSuffixOfSym0 :: TyFun [a] ([a] ~> Bool) -> Type) (a6989586621680379375 :: [a]) = IsSuffixOfSym1 a6989586621680379375 | |
type Apply (Let6989586621680378901Scrutinee_6989586621680375080Sym1 x6989586621680378899 :: TyFun [a] (TyFun (k1 ~> Bool) (TyFun k Bool -> Type) -> Type) -> Type) (xs6989586621680378900 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378901Scrutinee_6989586621680375080Sym1 x6989586621680378899 :: TyFun [a] (TyFun (k1 ~> Bool) (TyFun k Bool -> Type) -> Type) -> Type) (xs6989586621680378900 :: [a]) = Let6989586621680378901Scrutinee_6989586621680375080Sym2 x6989586621680378899 xs6989586621680378900 :: TyFun (k1 ~> Bool) (TyFun k Bool -> Type) -> Type | |
type Apply (Let6989586621680378609Scrutinee_6989586621680375108Sym2 y6989586621680378606 ys6989586621680378607 :: TyFun [k1] (TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) -> Type) (xs6989586621680378608 :: [k1]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378609Scrutinee_6989586621680375108Sym2 y6989586621680378606 ys6989586621680378607 :: TyFun [k1] (TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) -> Type) (xs6989586621680378608 :: [k1]) = Let6989586621680378609Scrutinee_6989586621680375108Sym3 y6989586621680378606 ys6989586621680378607 xs6989586621680378608 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type | |
type Apply (Let6989586621680378625Scrutinee_6989586621680375106Sym2 x6989586621680378622 xs6989586621680378623 :: TyFun [k1] (TyFun k3 Bool -> Type) -> Type) (ls6989586621680378624 :: [k1]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378625Scrutinee_6989586621680375106Sym2 x6989586621680378622 xs6989586621680378623 :: TyFun [k1] (TyFun k3 Bool -> Type) -> Type) (ls6989586621680378624 :: [k1]) = Let6989586621680378625Scrutinee_6989586621680375106Sym3 x6989586621680378622 xs6989586621680378623 ls6989586621680378624 :: TyFun k3 Bool -> Type | |
type Apply (Null_6989586621680822765Sym0 :: TyFun (Either a1 a2) Bool -> Type) (a6989586621680822771 :: Either a1 a2) | |
type Apply (IsRightSym0 :: TyFun (Either a b) Bool -> Type) (a6989586621680803379 :: Either a b) | |
Defined in Data.Singletons.Prelude.Either type Apply (IsRightSym0 :: TyFun (Either a b) Bool -> Type) (a6989586621680803379 :: Either a b) = IsRightSym1 a6989586621680803379 | |
type Apply (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) (a6989586621680803382 :: Either a b) | |
Defined in Data.Singletons.Prelude.Either type Apply (IsLeftSym0 :: TyFun (Either a b) Bool -> Type) (a6989586621680803382 :: Either a b) = IsLeftSym1 a6989586621680803382 | |
type Apply (Elem_6989586621680822846Sym1 a6989586621680822851 :: TyFun (Proxy a) Bool -> Type) (a6989586621680822852 :: Proxy a) | |
type Apply (Null_6989586621680822839Sym0 :: TyFun (Proxy a) Bool -> Type) (a6989586621680822843 :: Proxy a) | |
type Apply (TFHelper_6989586621681202942Sym1 a6989586621681202947 :: TyFun (Arg a b) Bool -> Type) (a6989586621681202948 :: Arg a b) | |
type Apply (TFHelper_6989586621680786553Sym1 a6989586621680786558 :: TyFun (Proxy s) Bool -> Type) (a6989586621680786559 :: Proxy s) | |
type Apply (ListnubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) (a6989586621680748816 :: a ~> (a ~> Bool)) | |
type Apply (ListpartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) (a6989586621680748876 :: a ~> Bool) | |
type Apply (ListfilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680748887 :: a ~> Bool) | |
type Apply (ListspanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) (a6989586621680748898 :: a ~> Bool) | |
type Apply (ListdropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680748909 :: a ~> Bool) | |
type Apply (ListtakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680748920 :: a ~> Bool) | |
type Apply (Elem_bySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> Bool)) -> Type) (a6989586621680378588 :: a ~> (a ~> Bool)) | |
type Apply (NubBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [a]) -> Type) (a6989586621680378598 :: a ~> (a ~> Bool)) | |
type Apply (SelectSym0 :: TyFun (a ~> Bool) (a ~> (([a], [a]) ~> ([a], [a]))) -> Type) (a6989586621680378694 :: a ~> Bool) | |
type Apply (PartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) (a6989586621680378709 :: a ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (PartitionSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) (a6989586621680378709 :: a ~> Bool) = PartitionSym1 a6989586621680378709 | |
type Apply (BreakSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) (a6989586621680378821 :: a ~> Bool) | |
type Apply (Let6989586621680378834YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621680378825 :: k ~> Bool) | |
type Apply (Let6989586621680378834ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621680378825 :: k ~> Bool) | |
type Apply (Let6989586621680378834X_6989586621680378835Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) (p6989586621680378825 :: k ~> Bool) | |
type Apply (SpanSym0 :: TyFun (a ~> Bool) ([a] ~> ([a], [a])) -> Type) (a6989586621680378856 :: a ~> Bool) | |
type Apply (Let6989586621680378869YsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621680378860 :: k ~> Bool) | |
type Apply (Let6989586621680378869ZsSym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] [k] -> Type) -> Type) -> Type) (p6989586621680378860 :: k ~> Bool) | |
type Apply (Let6989586621680378869X_6989586621680378870Sym0 :: TyFun (k ~> Bool) (TyFun k (TyFun [k] ([k], [k]) -> Type) -> Type) -> Type) (p6989586621680378860 :: k ~> Bool) | |
type Apply (GroupBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> [[a]]) -> Type) (a6989586621680378731 :: a ~> (a ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (DropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680378910 :: a ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (DropWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680378910 :: a ~> Bool) = DropWhileSym1 a6989586621680378910 | |
type Apply (TakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680378925 :: a ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (TakeWhileSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680378925 :: a ~> Bool) = TakeWhileSym1 a6989586621680378925 | |
type Apply (FilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680379025 :: a ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (FilterSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680379025 :: a ~> Bool) = FilterSym1 a6989586621680379025 | |
type Apply (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) (a6989586621680379018 :: a ~> Bool) | |
type Apply (DeleteBySym0 :: TyFun (a ~> (a ~> Bool)) (a ~> ([a] ~> [a])) -> Type) (a6989586621680379124 :: a ~> (a ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (DeleteFirstsBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) (a6989586621680379114 :: a ~> (a ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (UnionBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) (a6989586621680378578 :: a ~> (a ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindIndicesSym0 :: TyFun (a ~> Bool) ([a] ~> [Nat]) -> Type) (a6989586621680378968 :: a ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) (a6989586621680378991 :: a ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (AnySym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) (a6989586621680379577 :: a ~> Bool) | |
type Apply (IntersectBySym0 :: TyFun (a ~> (a ~> Bool)) ([a] ~> ([a] ~> [a])) -> Type) (a6989586621680378939 :: a ~> (a ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (AllSym0 :: TyFun (a ~> Bool) ([a] ~> Bool) -> Type) (a6989586621680379585 :: a ~> Bool) | |
type Apply (DropWhileEndSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680378893 :: a ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (DropWhileEndSym0 :: TyFun (a ~> Bool) ([a] ~> [a]) -> Type) (a6989586621680378893 :: a ~> Bool) = DropWhileEndSym1 a6989586621680378893 | |
type Apply (UntilSym0 :: TyFun (a ~> Bool) ((a ~> a) ~> (a ~> a)) -> Type) (a6989586621679989617 :: a ~> Bool) | |
type Apply (TFHelper_6989586621681202942Sym0 :: TyFun (Arg a b) (Arg a b ~> Bool) -> Type) (a6989586621681202947 :: Arg a b) | |
type Apply (TFHelper_6989586621680786553Sym0 :: TyFun (Proxy s) (Proxy s ~> Bool) -> Type) (a6989586621680786558 :: Proxy s) | |
type Apply (MfilterSym0 :: TyFun (a ~> Bool) (m a ~> m a) -> Type) (a6989586621681500592 :: a ~> Bool) | |
Defined in Data.Singletons.Prelude.Monad | |
type Apply (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) (a6989586621681500754 :: a ~> m Bool) | |
Defined in Data.Singletons.Prelude.Monad type Apply (FilterMSym0 :: TyFun (a ~> m Bool) ([a] ~> m [a]) -> Type) (a6989586621681500754 :: a ~> m Bool) = FilterMSym1 a6989586621681500754 | |
type Apply (Let6989586621680378602NubBy'Sym0 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k (TyFun [k1] ([k1] ~> [k1]) -> Type) -> Type) -> Type) (eq6989586621680378600 :: k1 ~> (k1 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Let6989586621680378736YsSym0 :: TyFun (k1 ~> (a ~> Bool)) (TyFun k1 (TyFun [a] [a] -> Type) -> Type) -> Type) (eq6989586621680378733 :: k1 ~> (a ~> Bool)) | |
type Apply (Let6989586621680378736ZsSym0 :: TyFun (k1 ~> (a ~> Bool)) (TyFun k1 (TyFun [a] [a] -> Type) -> Type) -> Type) (eq6989586621680378733 :: k1 ~> (a ~> Bool)) | |
type Apply (Let6989586621680378736X_6989586621680378737Sym0 :: TyFun (k1 ~> (a ~> Bool)) (TyFun k1 (TyFun [a] ([a], [a]) -> Type) -> Type) -> Type) (eq6989586621680378733 :: k1 ~> (a ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Lambda_6989586621680378897Sym0 :: TyFun (a ~> Bool) (TyFun k (TyFun a (TyFun [a] [a] -> Type) -> Type) -> Type) -> Type) (p6989586621680378895 :: a ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Lambda_6989586621680821893Sym0 :: TyFun (a ~> Bool) (TyFun k (TyFun a (First a) -> Type) -> Type) -> Type) (p6989586621680821891 :: a ~> Bool) | |
type Apply (AnySym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) (a6989586621680821965 :: a ~> Bool) | |
type Apply (AllSym0 :: TyFun (a ~> Bool) (t a ~> Bool) -> Type) (a6989586621680821956 :: a ~> Bool) | |
type Apply (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) (a6989586621680821889 :: a ~> Bool) | |
type Apply (Let6989586621679989623GoSym0 :: TyFun (k1 ~> Bool) (TyFun (k1 ~> k1) (TyFun k2 (TyFun k1 k1 -> Type) -> Type) -> Type) -> Type) (p6989586621679989620 :: k1 ~> Bool) | |
Defined in Data.Singletons.Prelude.Base | |
type Apply (Lambda_6989586621681500596Sym0 :: TyFun (k1 ~> Bool) (TyFun k (TyFun k1 (m k1) -> Type) -> Type) -> Type) (p6989586621681500594 :: k1 ~> Bool) | |
type Apply (Lambda_6989586621681500758Sym0 :: TyFun (k2 ~> f Bool) (TyFun k3 (TyFun k2 (f [k2] ~> f [k2]) -> Type) -> Type) -> Type) (p6989586621681500756 :: k2 ~> f Bool) | |
Defined in Data.Singletons.Prelude.Monad | |
type Apply (Lambda_6989586621680378950Sym0 :: TyFun (b ~> (a ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a (TyFun [a] (TyFun b (m b) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621680378942 :: b ~> (a ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Lambda_6989586621680378950Sym0 :: TyFun (b ~> (a ~> Bool)) (TyFun k1 (TyFun k2 (TyFun a (TyFun [a] (TyFun b (m b) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (eq6989586621680378942 :: b ~> (a ~> Bool)) = Lambda_6989586621680378950Sym1 eq6989586621680378942 :: TyFun k1 (TyFun k2 (TyFun a (TyFun [a] (TyFun b (m b) -> Type) -> Type) -> Type) -> Type) -> Type | |
type Apply (Let6989586621680378901Scrutinee_6989586621680375080Sym2 x6989586621680378899 xs6989586621680378900 :: TyFun (k1 ~> Bool) (TyFun k Bool -> Type) -> Type) (p6989586621680378895 :: k1 ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378901Scrutinee_6989586621680375080Sym2 x6989586621680378899 xs6989586621680378900 :: TyFun (k1 ~> Bool) (TyFun k Bool -> Type) -> Type) (p6989586621680378895 :: k1 ~> Bool) = Let6989586621680378901Scrutinee_6989586621680375080Sym3 x6989586621680378899 xs6989586621680378900 p6989586621680378895 :: TyFun k Bool -> Type | |
type Apply (Let6989586621680378609Scrutinee_6989586621680375108Sym3 y6989586621680378606 ys6989586621680378607 xs6989586621680378608 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) (eq6989586621680378600 :: k1 ~> (k1 ~> Bool)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (Let6989586621680378609Scrutinee_6989586621680375108Sym3 y6989586621680378606 ys6989586621680378607 xs6989586621680378608 :: TyFun (k1 ~> (k1 ~> Bool)) (TyFun k3 Bool -> Type) -> Type) (eq6989586621680378600 :: k1 ~> (k1 ~> Bool)) = Let6989586621680378609Scrutinee_6989586621680375108Sym4 y6989586621680378606 ys6989586621680378607 xs6989586621680378608 eq6989586621680378600 :: TyFun k3 Bool -> Type |
data ByteString #
A space-efficient representation of a Word8
vector, supporting many
efficient operations.
A ByteString
contains 8-bit bytes, or by using the operations from
Data.ByteString.Char8 it can be interpreted as containing 8-bit
characters.
Instances
Instances
Instances
Instances
Instances
Eq Never Source # | |
Ord Never Source # | |
Show Never Source # | |
Generic Never Source # | |
NFData Never Source # | |
Defined in Lorentz.Value | |
Buildable Never Source # | |
Defined in Lorentz.Value | |
TypeHasDoc Never Source # | |
Defined in Lorentz.Value type TypeDocFieldDescriptions Never :: FieldDescriptions # typeDocName :: Proxy Never -> Text # typeDocMdDescription :: Markdown # typeDocMdReference :: Proxy Never -> WithinParens -> Markdown # typeDocDependencies :: Proxy Never -> [SomeDocDefinitionItem] # typeDocHaskellRep :: TypeDocHaskellRep Never # typeDocMichelsonRep :: TypeDocMichelsonRep Never # | |
IsoValue Never Source # | |
HasAnnotation Never Source # | |
Defined in Lorentz.Value getAnnotation :: FollowEntrypointFlag -> Notes (ToT Never) Source # | |
type Rep Never Source # | |
type TypeDocFieldDescriptions Never Source # | |
Defined in Lorentz.Value | |
type ToT Never Source # | |
Defined in Lorentz.Value |
Instances
Instances
Instances
Instances
Instances
data Bls12381Fr #
Instances
data Bls12381G1 #
Instances
data Bls12381G2 #
Instances
A set of values a
.
Instances
Foldable Set | Folds in order of increasing key. |
Defined in Data.Set.Internal fold :: Monoid m => Set m -> m # foldMap :: Monoid m => (a -> m) -> Set a -> m # foldMap' :: Monoid m => (a -> m) -> Set a -> m # foldr :: (a -> b -> b) -> b -> Set a -> b # foldr' :: (a -> b -> b) -> b -> Set a -> b # foldl :: (b -> a -> b) -> b -> Set a -> b # foldl' :: (b -> a -> b) -> b -> Set a -> b # foldr1 :: (a -> a -> a) -> Set a -> a # foldl1 :: (a -> a -> a) -> Set a -> a # elem :: Eq a => a -> Set a -> Bool # maximum :: Ord a => Set a -> a # | |
ToJSON1 Set | |
Defined in Data.Aeson.Types.ToJSON | |
Eq1 Set | Since: containers-0.5.9 |
Ord1 Set | Since: containers-0.5.9 |
Defined in Data.Set.Internal | |
Show1 Set | Since: containers-0.5.9 |
Ord a => IsList (Set a) | Since: containers-0.5.6.2 |
Eq a => Eq (Set a) | |
(Data a, Ord a) => Data (Set a) | |
Defined in Data.Set.Internal gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Set a -> c (Set a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Set a) # dataTypeOf :: Set a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Set a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Set a)) # gmapT :: (forall b. Data b => b -> b) -> Set a -> Set a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Set a -> r # gmapQ :: (forall d. Data d => d -> u) -> Set a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Set a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Set a -> m (Set a) # | |
Ord a => Ord (Set a) | |
(Read a, Ord a) => Read (Set a) | |
Show a => Show (Set a) | |
Ord a => Semigroup (Set a) | Since: containers-0.5.7 |
Ord a => Monoid (Set a) | |
ToJSON a => ToJSON (Set a) | |
Defined in Data.Aeson.Types.ToJSON | |
NFData a => NFData (Set a) | |
Defined in Data.Set.Internal | |
Ord a => Contains (Set a) | |
Ord k => Ixed (Set k) | |
Defined in Control.Lens.At | |
Ord k => At (Set k) | |
Ord a => Wrapped (Set a) | |
(Ord a, Monoid a) => Semiring (Set a) | The multiplication laws are satisfied for
any underlying |
Ord v => Container (Set v) | |
Defined in Universum.Container.Class toList :: Set v -> [Element (Set v)] # foldr :: (Element (Set v) -> b -> b) -> b -> Set v -> b # foldl :: (b -> Element (Set v) -> b) -> b -> Set v -> b # foldl' :: (b -> Element (Set v) -> b) -> b -> Set v -> b # elem :: Element (Set v) -> Set v -> Bool # maximum :: Set v -> Element (Set v) # minimum :: Set v -> Element (Set v) # foldMap :: Monoid m => (Element (Set v) -> m) -> Set v -> m # fold :: Set v -> Element (Set v) # foldr' :: (Element (Set v) -> b -> b) -> b -> Set v -> b # foldr1 :: (Element (Set v) -> Element (Set v) -> Element (Set v)) -> Set v -> Element (Set v) # foldl1 :: (Element (Set v) -> Element (Set v) -> Element (Set v)) -> Set v -> Element (Set v) # notElem :: Element (Set v) -> Set v -> Bool # all :: (Element (Set v) -> Bool) -> Set v -> Bool # any :: (Element (Set v) -> Bool) -> Set v -> Bool # find :: (Element (Set v) -> Bool) -> Set v -> Maybe (Element (Set v)) # | |
One (Set v) | |
PolyCTypeHasDocC '[a] => TypeHasDoc (Set a) | |
Defined in Michelson.Typed.Haskell.Doc type TypeDocFieldDescriptions (Set a) :: FieldDescriptions # typeDocName :: Proxy (Set a) -> Text # typeDocMdDescription :: Markdown # typeDocMdReference :: Proxy (Set a) -> WithinParens -> Markdown # typeDocDependencies :: Proxy (Set a) -> [SomeDocDefinitionItem] # typeDocHaskellRep :: TypeDocHaskellRep (Set a) # typeDocMichelsonRep :: TypeDocMichelsonRep (Set a) # | |
(Comparable (ToT c), Ord c, IsoValue c) => IsoValue (Set c) | |
KnownIsoT v => HasAnnotation (Set v) Source # | |
Defined in Lorentz.Annotation getAnnotation :: FollowEntrypointFlag -> Notes (ToT (Set v)) Source # | |
NiceComparable a => UpdOpHs (Set a) Source # | |
Defined in Lorentz.Polymorphic type UpdOpKeyHs (Set a) Source # type UpdOpParamsHs (Set a) Source # | |
SizeOpHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
NiceComparable e => IterOpHs (Set e) Source # | |
Defined in Lorentz.Polymorphic type IterOpElHs (Set e) Source # | |
NiceComparable e => MemOpHs (Set e) Source # | |
Defined in Lorentz.Polymorphic type MemOpKeyHs (Set e) Source # | |
LDefault (Set k) Source # | |
(t ~ Set a', Ord a) => Rewrapped (Set a) t | Use |
Defined in Control.Lens.Wrapped | |
CanCastTo k1 k2 => CanCastTo (Set k1 :: Type) (Set k2 :: Type) Source # | |
NiceComparable key => StoreHasSubmap (Set key) SelfRef key () Source # | |
Defined in Lorentz.StoreClass storeSubmapOps :: StoreSubmapOps (Set key) SelfRef key () Source # | |
type Item (Set a) | |
Defined in Data.Set.Internal | |
type Index (Set a) | |
Defined in Control.Lens.At | |
type IxValue (Set k) | |
Defined in Control.Lens.At | |
type Unwrapped (Set a) | |
Defined in Control.Lens.Wrapped | |
type Element (Set v) | |
Defined in Universum.Container.Class | |
type OneItem (Set v) | |
Defined in Universum.Container.Class | |
type TypeDocFieldDescriptions (Set a) | |
Defined in Michelson.Typed.Haskell.Doc | |
type ToT (Set c) | |
Defined in Michelson.Typed.Haskell.Value | |
type UpdOpKeyHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
type UpdOpParamsHs (Set a) Source # | |
Defined in Lorentz.Polymorphic | |
type IterOpElHs (Set e) Source # | |
Defined in Lorentz.Polymorphic | |
type MemOpKeyHs (Set e) Source # | |
Defined in Lorentz.Polymorphic |
A Map from keys k
to values a
.
The Semigroup
operation for Map
is union
, which prefers
values from the left operand. If m1
maps a key k
to a value
a1
, and m2
maps the same key to a different value a2
, then
their union m1 <> m2
maps k
to a1
.
Instances
Eq2 Map | Since: containers-0.5.9 |
Ord2 Map | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
Show2 Map | Since: containers-0.5.9 |
Functor (Map k) | |
Foldable (Map k) | Folds in order of increasing key. |
Defined in Data.Map.Internal fold :: Monoid m => Map k m -> m # foldMap :: Monoid m => (a -> m) -> Map k a -> m # foldMap' :: Monoid m => (a -> m) -> Map k a -> m # foldr :: (a -> b -> b) -> b -> Map k a -> b # foldr' :: (a -> b -> b) -> b -> Map k a -> b # foldl :: (b -> a -> b) -> b -> Map k a -> b # foldl' :: (b -> a -> b) -> b -> Map k a -> b # foldr1 :: (a -> a -> a) -> Map k a -> a # foldl1 :: (a -> a -> a) -> Map k a -> a # elem :: Eq a => a -> Map k a -> Bool # maximum :: Ord a => Map k a -> a # minimum :: Ord a => Map k a -> a # | |
Traversable (Map k) | Traverses in order of increasing key. |
ToJSONKey k => ToJSON1 (Map k) | |
Defined in Data.Aeson.Types.ToJSON liftToJSON :: (a -> Value) -> ([a] -> Value) -> Map k a -> Value # liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Map k a] -> Value # liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Map k a -> Encoding # liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Map k a] -> Encoding # | |
Eq k => Eq1 (Map k) | Since: containers-0.5.9 |
Ord k => Ord1 (Map k) | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
(Ord k, Read k) => Read1 (Map k) | Since: containers-0.5.9 |
Defined in Data.Map.Internal | |
Show k => Show1 (Map k) | Since: containers-0.5.9 |
(CanCastTo k1 k2, CanCastTo v1 v2) => CanCastTo (Map k1 v1 :: Type) (Map k2 v2 :: Type) Source # | |
Ord k => IsList (Map k v) | Since: containers-0.5.6.2 |
(Eq k, Eq a) => Eq (Map k a) | |
(Data k, Data a, Ord k) => Data (Map k a) | |
Defined in Data.Map.Internal gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Map k a -> c (Map k a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Map k a) # toConstr :: Map k a -> Constr # dataTypeOf :: Map k a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Map k a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Map k a)) # gmapT :: (forall b. Data b => b -> b) -> Map k a -> Map k a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Map k a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Map k a -> r # gmapQ :: (forall d. Data d => d -> u) -> Map k a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Map k a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Map k a -> m (Map k a) # | |
(Ord k, Ord v) => Ord (Map k v) | |
(Ord k, Read k, Read e) => Read (Map k e) | |
(Show k, Show a) => Show (Map k a) | |
Ord k => Semigroup (Map k v) | |
Ord k => Monoid (Map k v) | |
(ToJSON v, ToJSONKey k) => ToJSON (Map k v) | |
Defined in Data.Aeson.Types.ToJSON | |
(NFData k, NFData a) => NFData (Map k a) | |
Defined in Data.Map.Internal | |
Ord k => Ixed (Map k a) | |
Defined in Control.Lens.At | |
Ord k => At (Map k a) | |
Ord k => Wrapped (Map k a) | |
(Ord k, Monoid k, Semiring v) => Semiring (Map k v) | The multiplication laws are satisfied for
any underlying |
ToPairs (Map k v) | |
Container (Map k v) | |
Defined in Universum.Container.Class toList :: Map k v -> [Element (Map k v)] # foldr :: (Element (Map k v) -> b -> b) -> b -> Map k v -> b # foldl :: (b -> Element (Map k v) -> b) -> b -> Map k v -> b # foldl' :: (b -> Element (Map k v) -> b) -> b -> Map k v -> b # elem :: Element (Map k v) -> Map k v -> Bool # maximum :: Map k v -> Element (Map k v) # minimum :: Map k v -> Element (Map k v) # foldMap :: Monoid m => (Element (Map k v) -> m) -> Map k v -> m # fold :: Map k v -> Element (Map k v) # foldr' :: (Element (Map k v) -> b -> b) -> b -> Map k v -> b # foldr1 :: (Element (Map k v) -> Element (Map k v) -> Element (Map k v)) -> Map k v -> Element (Map k v) # foldl1 :: (Element (Map k v) -> Element (Map k v) -> Element (Map k v)) -> Map k v -> Element (Map k v) # notElem :: Element (Map k v) -> Map k v -> Bool # all :: (Element (Map k v) -> Bool) -> Map k v -> Bool # any :: (Element (Map k v) -> Bool) -> Map k v -> Bool # find :: (Element (Map k v) -> Bool) -> Map k v -> Maybe (Element (Map k v)) # | |
One (Map k v) | |
(PolyCTypeHasDocC '[k], PolyTypeHasDocC '[v], Ord k) => TypeHasDoc (Map k v) | |
Defined in Michelson.Typed.Haskell.Doc type TypeDocFieldDescriptions (Map k v) :: FieldDescriptions # typeDocName :: Proxy (Map k v) -> Text # typeDocMdDescription :: Markdown # typeDocMdReference :: Proxy (Map k v) -> WithinParens -> Markdown # typeDocDependencies :: Proxy (Map k v) -> [SomeDocDefinitionItem] # typeDocHaskellRep :: TypeDocHaskellRep (Map k v) # typeDocMichelsonRep :: TypeDocMichelsonRep (Map k v) # | |
(Comparable (ToT k), Ord k, IsoValue k, IsoValue v) => IsoValue (Map k v) | |
(HasAnnotation k, HasAnnotation v) => HasAnnotation (Map k v) Source # | |
Defined in Lorentz.Annotation getAnnotation :: FollowEntrypointFlag -> Notes (ToT (Map k v)) Source # | |
NiceComparable k => GetOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic type GetOpKeyHs (Map k v) Source # type GetOpValHs (Map k v) Source # | |
NiceComparable k => UpdOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic type UpdOpKeyHs (Map k v) Source # type UpdOpParamsHs (Map k v) Source # | |
SizeOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
NiceComparable k => IterOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic type IterOpElHs (Map k v) Source # | |
NiceComparable k => MapOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic type MapOpInpHs (Map k v) Source # | |
NiceComparable k => MemOpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic type MemOpKeyHs (Map k v) Source # | |
LDefault (Map k v) Source # | |
(t ~ Map k' a', Ord k) => Rewrapped (Map k a) t | Use |
Defined in Control.Lens.Wrapped | |
(NiceComparable key, KnownValue value) => StoreHasSubmap (Map key value) SelfRef key value Source # | |
Defined in Lorentz.StoreClass storeSubmapOps :: StoreSubmapOps (Map key value) SelfRef key value Source # | |
type Item (Map k v) | |
Defined in Data.Map.Internal | |
type Index (Map k a) | |
Defined in Control.Lens.At | |
type IxValue (Map k a) | |
Defined in Control.Lens.At | |
type Unwrapped (Map k a) | |
Defined in Control.Lens.Wrapped | |
type Val (Map k v) | |
Defined in Universum.Container.Class | |
type Key (Map k v) | |
Defined in Universum.Container.Class | |
type Element (Map k v) | |
Defined in Universum.Container.Class | |
type OneItem (Map k v) | |
Defined in Universum.Container.Class | |
type TypeDocFieldDescriptions (Map k v) | |
Defined in Michelson.Typed.Haskell.Doc | |
type ToT (Map k v) | |
Defined in Michelson.Typed.Haskell.Value | |
type GetOpKeyHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type GetOpValHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type UpdOpKeyHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type UpdOpParamsHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type IterOpElHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type MapOpInpHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type MapOpResHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic | |
type MemOpKeyHs (Map k v) Source # | |
Defined in Lorentz.Polymorphic |
Instances
The Maybe
type encapsulates an optional value. A value of type
either contains a value of type Maybe
aa
(represented as
),
or it is empty (represented as Just
aNothing
). Using Maybe
is a good way to
deal with errors or exceptional cases without resorting to drastic
measures such as error
.
The Maybe
type is also a monad. It is a simple kind of error
monad, where all errors are represented by Nothing
. A richer
error monad can be built using the Either
type.
Instances
Monad Maybe | Since: base-2.1 |
Functor Maybe | Since: base-2.1 |
MonadFail Maybe | Since: base-4.9.0.0 |
Defined in Control.Monad.Fail | |
Applicative Maybe | Since: base-2.1 |
Foldable Maybe | Since: base-2.1 |
Defined in Data.Foldable fold :: Monoid m => Maybe m -> m # foldMap :: Monoid m => (a -> m) -> Maybe a -> m # foldMap' :: Monoid m => (a -> m) -> Maybe a -> m # foldr :: (a -> b -> b) -> b -> Maybe a -> b # foldr' :: (a -> b -> b) -> b -> Maybe a -> b # foldl :: (b -> a -> b) -> b -> Maybe a -> b # foldl' :: (b -> a -> b) -> b -> Maybe a -> b # foldr1 :: (a -> a -> a) -> Maybe a -> a # foldl1 :: (a -> a -> a) -> Maybe a -> a # elem :: Eq a => a -> Maybe a -> Bool # maximum :: Ord a => Maybe a -> a # minimum :: Ord a => Maybe a -> a # | |
Traversable Maybe | Since: base-2.1 |
MonadPlus Maybe | Since: base-2.1 |
ToJSON1 Maybe | |
Defined in Data.Aeson.Types.ToJSON liftToJSON :: (a -> Value) -> ([a] -> Value) -> Maybe a -> Value # liftToJSONList :: (a -> Value) -> ([a] -> Value) -> [Maybe a] -> Value # liftToEncoding :: (a -> Encoding) -> ([a] -> Encoding) -> Maybe a -> Encoding # liftToEncodingList :: (a -> Encoding) -> ([a] -> Encoding) -> [Maybe a] -> Encoding # | |
Alternative Maybe | Since: base-2.1 |
Eq1 Maybe | Since: base-4.9.0.0 |
Ord1 Maybe | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
Read1 Maybe | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
Show1 Maybe | Since: base-4.9.0.0 |
MonadFailure Maybe | |
NFData1 Maybe | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
MonadThrow Maybe | |
Defined in Control.Monad.Catch | |
Hashable1 Maybe | |
Defined in Data.Hashable.Class | |
InjValue Maybe | |
Defined in Named.Internal | |
PTraversable Maybe | |
STraversable Maybe | |
Defined in Data.Singletons.Prelude.Traversable sTraverse :: forall a (f :: Type -> Type) b (t1 :: a ~> f b) (t2 :: Maybe a). SApplicative f => Sing t1 -> Sing t2 -> Sing (Apply (Apply TraverseSym0 t1) t2) # sSequenceA :: forall (f :: Type -> Type) a (t1 :: Maybe (f a)). SApplicative f => Sing t1 -> Sing (Apply SequenceASym0 t1) # sMapM :: forall a (m :: Type -> Type) b (t1 :: a ~> m b) (t2 :: Maybe a). SMonad m => Sing t1 -> Sing t2 -> Sing (Apply (Apply MapMSym0 t1) t2) # sSequence :: forall (m :: Type -> Type) a (t1 :: Maybe (m a)). SMonad m => Sing t1 -> Sing (Apply SequenceSym0 t1) # | |
PFoldable Maybe | |
SFoldable Maybe | |
Defined in Data.Singletons.Prelude.Foldable sFold :: forall m (t1 :: Maybe m). SMonoid m => Sing t1 -> Sing (Apply FoldSym0 t1) # sFoldMap :: forall a m (t1 :: a ~> m) (t2 :: Maybe a). SMonoid m => Sing t1 -> Sing t2 -> Sing (Apply (Apply FoldMapSym0 t1) t2) # sFoldr :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Maybe a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldrSym0 t1) t2) t3) # sFoldr' :: forall a b (t1 :: a ~> (b ~> b)) (t2 :: b) (t3 :: Maybe a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldr'Sym0 t1) t2) t3) # sFoldl :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Maybe a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply FoldlSym0 t1) t2) t3) # sFoldl' :: forall b a (t1 :: b ~> (a ~> b)) (t2 :: b) (t3 :: Maybe a). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply Foldl'Sym0 t1) t2) t3) # sFoldr1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldr1Sym0 t1) t2) # sFoldl1 :: forall a (t1 :: a ~> (a ~> a)) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply Foldl1Sym0 t1) t2) # sToList :: forall a (t1 :: Maybe a). Sing t1 -> Sing (Apply ToListSym0 t1) # sNull :: forall a (t1 :: Maybe a). Sing t1 -> Sing (Apply NullSym0 t1) # sLength :: forall a (t1 :: Maybe a). Sing t1 -> Sing (Apply LengthSym0 t1) # sElem :: forall a (t1 :: a) (t2 :: Maybe a). SEq a => Sing t1 -> Sing t2 -> Sing (Apply (Apply ElemSym0 t1) t2) # sMaximum :: forall a (t1 :: Maybe a). SOrd a => Sing t1 -> Sing (Apply MaximumSym0 t1) # sMinimum :: forall a (t1 :: Maybe a). SOrd a => Sing t1 -> Sing (Apply MinimumSym0 t1) # sSum :: forall a (t1 :: Maybe a). SNum a => Sing t1 -> Sing (Apply SumSym0 t1) # sProduct :: forall a (t1 :: Maybe a). SNum a => Sing t1 -> Sing (Apply ProductSym0 t1) # | |
SMonadFail Maybe | |
PFunctor Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
PApplicative Maybe | |
PMonad Maybe | |
SFunctor Maybe | |
SApplicative Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal sPure :: forall a (t :: a). Sing t -> Sing (Apply PureSym0 t) # (%<*>) :: forall a b (t1 :: Maybe (a ~> b)) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<*>@#@$) t1) t2) # sLiftA2 :: forall a b c (t1 :: a ~> (b ~> c)) (t2 :: Maybe a) (t3 :: Maybe b). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply LiftA2Sym0 t1) t2) t3) # (%*>) :: forall a b (t1 :: Maybe a) (t2 :: Maybe b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (*>@#@$) t1) t2) # (%<*) :: forall a b (t1 :: Maybe a) (t2 :: Maybe b). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<*@#@$) t1) t2) # | |
SMonad Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
SAlternative Maybe | |
SMonadPlus Maybe | |
KnownNamedFunctor Maybe | |
LorentzFunctor Maybe Source # | |
Defined in Lorentz.Instr | |
(Selector s, GToJSON' enc arity (K1 i (Maybe a) :: Type -> Type), KeyValuePair enc pairs, Monoid pairs) => RecordToPairs enc pairs arity (S1 s (K1 i (Maybe a) :: Type -> Type)) | |
Defined in Data.Aeson.Types.ToJSON | |
Lift a => Lift (Maybe a :: Type) | |
() :=> (Functor Maybe) | |
() :=> (Applicative Maybe) | |
Defined in Data.Constraint ins :: () :- Applicative Maybe # | |
() :=> (MonadPlus Maybe) | |
() :=> (Alternative Maybe) | |
Defined in Data.Constraint ins :: () :- Alternative Maybe # | |
Eq a => Eq (Maybe a) | Since: base-2.1 |
Ord a => Ord (Maybe a) | Since: base-2.1 |
Read a => Read (Maybe a) | Since: base-2.1 |
Show a => Show (Maybe a) | Since: base-2.1 |
Generic (Maybe a) | Since: base-4.6.0.0 |
Semigroup a => Semigroup (Maybe a) | Since: base-4.9.0.0 |
Semigroup a => Monoid (Maybe a) | Lift a semigroup into Since 4.11.0: constraint on inner Since: base-2.1 |
Hashable a => Hashable (Maybe a) | |
Defined in Data.Hashable.Class | |
ToJSON a => ToJSON (Maybe a) | |
Defined in Data.Aeson.Types.ToJSON | |
NFData a => NFData (Maybe a) | |
Defined in Control.DeepSeq | |
Default (Maybe a) | |
Defined in Data.Default.Class | |
Buildable a => Buildable (Maybe a) | |
Defined in Formatting.Buildable | |
Ixed (Maybe a) | |
Defined in Control.Lens.At | |
At (Maybe a) | |
Semiring a => Semiring (Maybe a) | |
PMonoid (Maybe a) | |
SSemigroup a => SMonoid (Maybe a) | |
PShow (Maybe a) | |
SShow a => SShow (Maybe a) | |
Defined in Data.Singletons.Prelude.Show sShowsPrec :: forall (t1 :: Nat) (t2 :: Maybe a) (t3 :: Symbol). Sing t1 -> Sing t2 -> Sing t3 -> Sing (Apply (Apply (Apply ShowsPrecSym0 t1) t2) t3) # sShow_ :: forall (t :: Maybe a). Sing t -> Sing (Apply Show_Sym0 t) # sShowList :: forall (t1 :: [Maybe a]) (t2 :: Symbol). Sing t1 -> Sing t2 -> Sing (Apply (Apply ShowListSym0 t1) t2) # | |
PSemigroup (Maybe a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal | |
SSemigroup a => SSemigroup (Maybe a) | |
POrd (Maybe a) | |
SOrd a => SOrd (Maybe a) | |
Defined in Data.Singletons.Prelude.Ord sCompare :: forall (t1 :: Maybe a) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply CompareSym0 t1) t2) # (%<) :: forall (t1 :: Maybe a) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<@#@$) t1) t2) # (%<=) :: forall (t1 :: Maybe a) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (<=@#@$) t1) t2) # (%>) :: forall (t1 :: Maybe a) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>@#@$) t1) t2) # (%>=) :: forall (t1 :: Maybe a) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply (>=@#@$) t1) t2) # sMax :: forall (t1 :: Maybe a) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply MaxSym0 t1) t2) # sMin :: forall (t1 :: Maybe a) (t2 :: Maybe a). Sing t1 -> Sing t2 -> Sing (Apply (Apply MinSym0 t1) t2) # | |
SEq a => SEq (Maybe a) | |
PEq (Maybe a) | |
(TypeError (DisallowInstance "Maybe") :: Constraint) => Container (Maybe a) | |
Defined in Universum.Container.Class toList :: Maybe a -> [Element (Maybe a)] # foldr :: (Element (Maybe a) -> b -> b) -> b -> Maybe a -> b # foldl :: (b -> Element (Maybe a) -> b) -> b -> Maybe a -> b # foldl' :: (b -> Element (Maybe a) -> b) -> b -> Maybe a -> b # elem :: Element (Maybe a) -> Maybe a -> Bool # maximum :: Maybe a -> Element (Maybe a) # minimum :: Maybe a -> Element (Maybe a) # foldMap :: Monoid m => (Element (Maybe a) -> m) -> Maybe a -> m # fold :: Maybe a -> Element (Maybe a) # foldr' :: (Element (Maybe a) -> b -> b) -> b -> Maybe a -> b # foldr1 :: (Element (Maybe a) -> Element (Maybe a) -> Element (Maybe a)) -> Maybe a -> Element (Maybe a) # foldl1 :: (Element (Maybe a) -> Element (Maybe a) -> Element (Maybe a)) -> Maybe a -> Element (Maybe a) # notElem :: Element (Maybe a) -> Maybe a -> Bool # all :: (Element (Maybe a) -> Bool) -> Maybe a -> Bool # any :: (Element (Maybe a) -> Bool) -> Maybe a -> Bool # find :: (Element (Maybe a) -> Bool) -> Maybe a -> Maybe (Element (Maybe a)) # | |
Pretty a => Pretty (Maybe a) | |
Defined in Text.PrettyPrint.Leijen.Text | |
SingKind a => SingKind (Maybe a) | Since: base-4.9.0.0 |
Defined in GHC.Generics type DemoteRep (Maybe a) | |
PolyTypeHasDocC '[a] => TypeHasDoc (Maybe a) | |
Defined in Michelson.Typed.Haskell.Doc type TypeDocFieldDescriptions (Maybe a) :: FieldDescriptions # typeDocName :: Proxy (Maybe a) -> Text # typeDocMdDescription :: Markdown # typeDocMdReference :: Proxy (Maybe a) -> WithinParens -> Markdown # typeDocDependencies :: Proxy (Maybe a) -> [SomeDocDefinitionItem] # typeDocHaskellRep :: TypeDocHaskellRep (Maybe a) # typeDocMichelsonRep :: TypeDocMichelsonRep (Maybe a) # | |
IsoValue a => IsoValue (Maybe a) | |
HasAnnotation a => HasAnnotation (Maybe a) Source # | |
Defined in Lorentz.Annotation getAnnotation :: FollowEntrypointFlag -> Notes (ToT (Maybe a)) Source # | |
Generic1 Maybe | Since: base-4.6.0.0 |
PMonadFail Maybe | |
Defined in Data.Singletons.Prelude.Monad.Fail | |
PAlternative Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
PMonadPlus Maybe | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
IsoHKD Maybe (a :: Type) | |
SDecide a => TestCoercion (SMaybe :: Maybe a -> Type) | |
Defined in Data.Singletons.Prelude.Instances | |
SDecide a => TestEquality (SMaybe :: Maybe a -> Type) | |
Defined in Data.Singletons.Prelude.Instances | |
(Eq a) :=> (Eq (Maybe a)) | |
(Ord a) :=> (Ord (Maybe a)) | |
(Read a) :=> (Read (Maybe a)) | |
(Show a) :=> (Show (Maybe a)) | |
(Semigroup a) :=> (Semigroup (Maybe a)) | |
(Monoid a) :=> (Monoid (Maybe a)) | |
SingI ('Nothing :: Maybe a) | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
Each (Maybe a) (Maybe b) a b | |
CanCastTo a b => CanCastTo (Maybe a :: Type) (Maybe b :: Type) Source # | |
SingI a2 => SingI ('Just a2 :: Maybe a1) | Since: base-4.9.0.0 |
Defined in GHC.Generics | |
SuppressUnusedWarnings (Fail_6989586621680155600Sym0 :: TyFun [Char] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Fail suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (StripPrefixSym0 :: TyFun [a] ([a] ~> Maybe [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072421Sym0 :: TyFun (Maybe a) (Maybe a ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromJustSym0 :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MinInternalSym0 :: TyFun (Maybe a) (MinInternal a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MaxInternalSym0 :: TyFun (Maybe a) (MaxInternal a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679847835Sym0 :: TyFun (Maybe a) (Maybe a ~> Ordering) -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680240170Sym0 :: TyFun (Maybe a) (Maybe a ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653283Sym0 :: TyFun Nat (Maybe a ~> (Symbol ~> Symbol)) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Pure_6989586621680072163Sym0 :: TyFun a (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680072430LSym0 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym0 :: TyFun a (Maybe a ~> a) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (JustSym0 :: TyFun a (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Instances suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetMaxInternalSym0 :: TyFun (MaxInternal a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (GetMinInternalSym0 :: TyFun (MinInternal a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SingI (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing CatMaybesSym0 # | |
SingI (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing ListToMaybeSym0 # | |
SingI (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing MaybeToListSym0 # | |
SingI (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsNothingSym0 # | |
SingI (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing IsJustSym0 # | |
SingI (FromJustSym0 :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing FromJustSym0 # | |
SingI (MinInternalSym0 :: TyFun (Maybe a) (MinInternal a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SingI (MaxInternalSym0 :: TyFun (Maybe a) (MaxInternal a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SingI (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal sing :: Sing OptionSym0 # | |
SingI (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid | |
SingI (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid | |
SingI (FromMaybeSym0 :: TyFun a (Maybe a ~> a) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing FromMaybeSym0 # | |
SEq a => SingI (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing ElemIndexSym0 # | |
SingI (JustSym0 :: TyFun a (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Instances | |
SingI (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal sing :: Sing GetOptionSym0 # | |
SingI (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid sing :: Sing GetFirstSym0 # | |
SingI (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid sing :: Sing GetLastSym0 # | |
SingI (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing FindIndexSym0 # | |
SingI (GetMaxInternalSym0 :: TyFun (MaxInternal a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SingI (GetMinInternalSym0 :: TyFun (MinInternal a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (StripPrefixSym1 a6989586621680498340 :: TyFun [a] (Maybe [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621680379018 :: TyFun [a] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindIndexSym1 a6989586621680378991 :: TyFun [a] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ElemIndexSym1 a6989586621680379009 :: TyFun [a] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (ShowsPrec_6989586621680653283Sym1 a6989586621680653293 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type) | |
Defined in Data.Singletons.Prelude.Show suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072421Sym1 a6989586621680072426 :: TyFun (Maybe a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072345Sym0 :: TyFun (Maybe a) (Maybe b ~> Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072334Sym0 :: TyFun (Maybe a) ((a ~> Maybe b) ~> Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072200Sym0 :: TyFun (Maybe a) (Maybe b ~> Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FromMaybeSym1 a6989586621679958789 :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Compare_6989586621679847835Sym1 a6989586621679847840 :: TyFun (Maybe a) Ordering -> Type) | |
Defined in Data.Singletons.Prelude.Ord suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680240170Sym1 a6989586621680240175 :: TyFun (Maybe a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072173Sym0 :: TyFun (Maybe (a ~> b)) (Maybe a ~> Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) | |
Defined in Data.Singletons.Prelude.Applicative suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072052Sym0 :: TyFun a (Maybe b ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym0 :: TyFun b ((a ~> b) ~> (Maybe a ~> b)) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LookupSym0 :: TyFun a ([(a, b)] ~> Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822397MkJustSym0 :: TyFun k (TyFun a6989586621680821555 (Maybe a6989586621680821555) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822382MkJustSym0 :: TyFun k (TyFun a6989586621680821554 (Maybe a6989586621680821554) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813466NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813466MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813442NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813442MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621680072040Sym0 :: TyFun (a ~> b) (Maybe a ~> Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (MapMaybeSym0 :: TyFun (a ~> Maybe b) ([a] ~> [b]) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (UnfoldrSym0 :: TyFun (b ~> Maybe (a, b)) (b ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Foldr_6989586621680822439Sym0 :: TyFun (a ~> (b ~> b)) (b ~> (Maybe a ~> b)) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Foldl_6989586621680822455Sym0 :: TyFun (b ~> (a ~> b)) (b ~> (Maybe a ~> b)) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FoldMap_6989586621680822423Sym0 :: TyFun (a ~> m) (Maybe a ~> m) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SingI d => SingI (FindSym1 d :: TyFun [a] (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal | |
SingI d => SingI (FindIndexSym1 d :: TyFun [a] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (FindIndexSym1 d) # | |
(SEq a, SingI d) => SingI (ElemIndexSym1 d :: TyFun [a] (Maybe Nat) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (ElemIndexSym1 d) # | |
SingI d => SingI (FromMaybeSym1 d :: TyFun (Maybe a) a -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (FromMaybeSym1 d) # | |
SAlternative f => SingI (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) | |
Defined in Data.Singletons.Prelude.Applicative sing :: Sing OptionalSym0 # | |
SingI (Maybe_Sym0 :: TyFun b ((a ~> b) ~> (Maybe a ~> b)) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing Maybe_Sym0 # | |
SEq a => SingI (LookupSym0 :: TyFun a ([(a, b)] ~> Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing LookupSym0 # | |
SingI (MapMaybeSym0 :: TyFun (a ~> Maybe b) ([a] ~> [b]) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing MapMaybeSym0 # | |
SingI (UnfoldrSym0 :: TyFun (b ~> Maybe (a, b)) (b ~> [a]) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing UnfoldrSym0 # | |
SFoldable t => SingI (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SuppressUnusedWarnings (LookupSym1 a6989586621680378716 :: TyFun [(a, b)] (Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072345Sym1 a6989586621680072354 :: TyFun (Maybe b) (Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072200Sym1 a6989586621680072205 :: TyFun (Maybe b) (Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072173Sym1 a6989586621680072178 :: TyFun (Maybe a) (Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072052Sym1 a6989586621680072057 :: TyFun (Maybe b) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Fmap_6989586621680072040Sym1 a6989586621680072045 :: TyFun (Maybe a) (Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FoldMap_6989586621680822423Sym1 a6989586621680822432 :: TyFun (Maybe a) m -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822397MkJustSym1 a_69895866216808223916989586621680822396 :: TyFun a6989586621680821555 (Maybe a6989586621680821555) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822382MkJustSym1 a_69895866216808223766989586621680822381 :: TyFun a6989586621680821554 (Maybe a6989586621680821554) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813466NSym1 x6989586621680813464 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813466MSym1 x6989586621680813464 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813442NSym1 x6989586621680813440 :: TyFun k1 (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680813442MSym1 x6989586621680813440 :: TyFun k (Maybe k1) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Foldr_6989586621680822439Sym1 a6989586621680822445 :: TyFun b (Maybe a ~> b) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Foldl_6989586621680822455Sym1 a6989586621680822461 :: TyFun b (Maybe a ~> b) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (FindSym1 a6989586621680821889 :: TyFun (t a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680700471Sym0 :: TyFun k (TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680700392Sym0 :: TyFun k (TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Traverse_6989586621681087642Sym0 :: TyFun (a ~> f b) (Maybe a ~> f (Maybe b)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (TFHelper_6989586621680072334Sym1 a6989586621680072339 :: TyFun (a ~> Maybe b) (Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621680072186Sym0 :: TyFun (a ~> (b ~> c)) (Maybe a ~> (Maybe b ~> Maybe c)) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym1 a6989586621679957223 :: TyFun (a ~> b) (Maybe a ~> b) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621679958764RsSym0 :: TyFun (a ~> Maybe k1) (TyFun k (TyFun [a] [k1] -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822304MfSym0 :: TyFun (k2 ~> (k3 ~> k3)) (TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822283MfSym0 :: TyFun (k2 ~> (k3 ~> k2)) (TyFun k (TyFun k2 (TyFun (Maybe k3) (Maybe k2) -> Type) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
(SEq a, SingI d) => SingI (LookupSym1 d :: TyFun [(a, b)] (Maybe b) -> Type) | |
Defined in Data.Singletons.Prelude.List.Internal sing :: Sing (LookupSym1 d) # | |
(SFoldable t, SingI d) => SingI (FindSym1 d :: TyFun (t a) (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable | |
SingI d => SingI (Maybe_Sym1 d :: TyFun (a ~> b) (Maybe a ~> b) -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (Maybe_Sym1 d) # | |
SuppressUnusedWarnings (Traverse_6989586621681087642Sym1 a6989586621681087647 :: TyFun (Maybe a) (f (Maybe b)) -> Type) | |
Defined in Data.Singletons.Prelude.Traversable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (LiftA2_6989586621680072186Sym1 a6989586621680072192 :: TyFun (Maybe a) (Maybe b ~> Maybe c) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Maybe_Sym2 a6989586621679957223 a6989586621679957224 :: TyFun (Maybe a) b -> Type) | |
Defined in Data.Singletons.Prelude.Maybe suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Foldr_6989586621680822439Sym2 a6989586621680822445 a6989586621680822446 :: TyFun (Maybe a) b -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Foldl_6989586621680822455Sym2 a6989586621680822461 a6989586621680822462 :: TyFun (Maybe a) b -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822304MfSym1 f6989586621680822302 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822283MfSym1 f6989586621680822281 :: TyFun k (TyFun k2 (TyFun (Maybe k3) (Maybe k2) -> Type) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680700471Sym1 a6989586621680700469 :: TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680700392Sym1 a6989586621680700390 :: TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
(SingI d1, SingI d2) => SingI (Maybe_Sym2 d1 d2 :: TyFun (Maybe a) b -> Type) | |
Defined in Data.Singletons.Prelude.Maybe sing :: Sing (Maybe_Sym2 d1 d2) # | |
SuppressUnusedWarnings (LiftA2_6989586621680072186Sym2 a6989586621680072192 a6989586621680072193 :: TyFun (Maybe b) (Maybe c) -> Type) | |
Defined in Data.Singletons.Prelude.Monad.Internal suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822304MfSym2 f6989586621680822302 xs6989586621680822303 :: TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822283MfSym2 f6989586621680822281 xs6989586621680822282 :: TyFun k2 (TyFun (Maybe k3) (Maybe k2) -> Type) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680700471Sym2 a6989586621680700469 k6989586621680700470 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Lambda_6989586621680700392Sym2 a6989586621680700390 k6989586621680700391 :: TyFun k1 (Maybe a) -> Type) | |
Defined in Data.Singletons.Prelude.Monoid suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822283MfSym3 f6989586621680822281 xs6989586621680822282 a6989586621680822284 :: TyFun (Maybe k3) (Maybe k2) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
SuppressUnusedWarnings (Let6989586621680822304MfSym3 f6989586621680822302 xs6989586621680822303 a6989586621680822305 :: TyFun k3 (Maybe k3) -> Type) | |
Defined in Data.Singletons.Prelude.Foldable suppressUnusedWarnings :: () # | |
IsoValue a => IsoValue (NamedF Maybe a name) | |
(HasAnnotation (Maybe a), KnownSymbol name) => HasAnnotation (NamedF Maybe a name) Source # | |
Defined in Lorentz.Annotation getAnnotation :: FollowEntrypointFlag -> Notes (ToT (NamedF Maybe a name)) Source # | |
Wrappable (NamedF Maybe a name) Source # | |
Defined in Lorentz.Wrappable type Unwrappable (NamedF Maybe a name) Source # | |
type Failure Maybe | |
Defined in Basement.Monad | |
type Product (arg :: Maybe a) | |
type Sum (arg :: Maybe a) | |
type Minimum (arg :: Maybe a) | |
type Maximum (arg :: Maybe a) | |
type Length (arg :: Maybe a) | |
type Null (arg :: Maybe a) | |
type ToList (arg :: Maybe a) | |
type Fold (arg :: Maybe m) | |
type Pure (a :: k1) | |
type Return (arg :: a) | |
type Sequence (arg :: Maybe (m a)) | |
type SequenceA (arg :: Maybe (f a)) | |
type Elem (arg1 :: a) (arg2 :: Maybe a) | |
type Foldl1 (arg1 :: a ~> (a ~> a)) (arg2 :: Maybe a) | |
type Foldr1 (arg1 :: a ~> (a ~> a)) (arg2 :: Maybe a) | |
type FoldMap (a2 :: a1 ~> k2) (a3 :: Maybe a1) | |
type (a1 :: k1) <$ (a2 :: Maybe b) | |
type Fmap (a2 :: a1 ~> b) (a3 :: Maybe a1) | |
type (arg1 :: Maybe a) <* (arg2 :: Maybe b) | |
type (a2 :: Maybe a1) *> (a3 :: Maybe b) | |
type (a2 :: Maybe (a1 ~> b)) <*> (a3 :: Maybe a1) | |
type (a2 :: Maybe a1) >> (a3 :: Maybe b) | |
type (a2 :: Maybe a1) >>= (a3 :: a1 ~> Maybe b) | |
type MapM (arg1 :: a ~> m b) (arg2 :: Maybe a) | |
type Traverse (a2 :: a1 ~> f b) (a3 :: Maybe a1) | |
type Foldl' (arg1 :: b ~> (a ~> b)) (arg2 :: b) (arg3 :: Maybe a) | |
type Foldl (a2 :: k2 ~> (a1 ~> k2)) (a3 :: k2) (a4 :: Maybe a1) | |
type Foldr' (arg1 :: a ~> (b ~> b)) (arg2 :: b) (arg3 :: Maybe a) | |
type Foldr (a2 :: a1 ~> (k2 ~> k2)) (a3 :: k2) (a4 :: Maybe a1) | |
type LiftA2 (a2 :: a1 ~> (b ~> c)) (a3 :: Maybe a1) (a4 :: Maybe b) | |
type Apply (Pure_6989586621680072163Sym0 :: TyFun a (Maybe a) -> Type) (a6989586621680072169 :: a) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (Let6989586621680072430LSym0 :: TyFun k1 (Maybe k1) -> Type) (wild_69895866216800715286989586621680072429 :: k1) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (JustSym0 :: TyFun a (Maybe a) -> Type) (a6989586621679749471 :: a) | |
type Apply (Let6989586621680813442NSym1 x6989586621680813440 :: TyFun k1 (Maybe k1) -> Type) (y6989586621680813441 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680813442MSym1 x6989586621680813440 :: TyFun k (Maybe k1) -> Type) (y6989586621680813441 :: k) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680813466NSym1 x6989586621680813464 :: TyFun k1 (Maybe k1) -> Type) (y6989586621680813465 :: k1) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680813466MSym1 x6989586621680813464 :: TyFun k (Maybe k1) -> Type) (y6989586621680813465 :: k) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680822382MkJustSym1 a_69895866216808223766989586621680822381 :: TyFun a6989586621680821554 (Maybe a6989586621680821554) -> Type) (a6989586621680822385 :: a6989586621680821554) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Let6989586621680822397MkJustSym1 a_69895866216808223916989586621680822396 :: TyFun a6989586621680821555 (Maybe a6989586621680821555) -> Type) (a6989586621680822400 :: a6989586621680821555) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (Lambda_6989586621680700392Sym2 a6989586621680700390 k6989586621680700391 :: TyFun k1 (Maybe a) -> Type) (x6989586621680700394 :: k1) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Lambda_6989586621680700471Sym2 a6989586621680700469 k6989586621680700470 :: TyFun k1 (Maybe a) -> Type) (x6989586621680700473 :: k1) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Let6989586621680822304MfSym3 f6989586621680822302 xs6989586621680822303 a6989586621680822305 :: TyFun k3 (Maybe k3) -> Type) (a6989586621680822306 :: k3) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (ShowsPrec_6989586621680653283Sym0 :: TyFun Nat (Maybe a ~> (Symbol ~> Symbol)) -> Type) (a6989586621680653293 :: Nat) | |
type Apply (FromMaybeSym0 :: TyFun a (Maybe a ~> a) -> Type) (a6989586621679958789 :: a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (FromMaybeSym0 :: TyFun a (Maybe a ~> a) -> Type) (a6989586621679958789 :: a) = FromMaybeSym1 a6989586621679958789 | |
type Apply (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Nat) -> Type) (a6989586621680379009 :: a) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (ElemIndexSym0 :: TyFun a ([a] ~> Maybe Nat) -> Type) (a6989586621680379009 :: a) = ElemIndexSym1 a6989586621680379009 | |
type Apply (TFHelper_6989586621680072052Sym0 :: TyFun a (Maybe b ~> Maybe a) -> Type) (a6989586621680072057 :: a) | |
type Apply (Maybe_Sym0 :: TyFun b ((a ~> b) ~> (Maybe a ~> b)) -> Type) (a6989586621679957223 :: b) | |
Defined in Data.Singletons.Prelude.Maybe | |
type Apply (LookupSym0 :: TyFun a ([(a, b)] ~> Maybe b) -> Type) (a6989586621680378716 :: a) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (LookupSym0 :: TyFun a ([(a, b)] ~> Maybe b) -> Type) (a6989586621680378716 :: a) = LookupSym1 a6989586621680378716 :: TyFun [(a, b)] (Maybe b) -> Type | |
type Apply (Let6989586621680813442NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) (x6989586621680813440 :: k) | |
type Apply (Let6989586621680813442MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) (x6989586621680813440 :: k1) | |
type Apply (Let6989586621680813466NSym0 :: TyFun k (TyFun k1 (Maybe k1) -> Type) -> Type) (x6989586621680813464 :: k) | |
type Apply (Let6989586621680813466MSym0 :: TyFun k1 (TyFun k (Maybe k1) -> Type) -> Type) (x6989586621680813464 :: k1) | |
type Apply (Let6989586621680822382MkJustSym0 :: TyFun k (TyFun a6989586621680821554 (Maybe a6989586621680821554) -> Type) -> Type) (a_69895866216808223766989586621680822381 :: k) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680822382MkJustSym0 :: TyFun k (TyFun a6989586621680821554 (Maybe a6989586621680821554) -> Type) -> Type) (a_69895866216808223766989586621680822381 :: k) = Let6989586621680822382MkJustSym1 a_69895866216808223766989586621680822381 :: TyFun a6989586621680821554 (Maybe a6989586621680821554) -> Type | |
type Apply (Let6989586621680822397MkJustSym0 :: TyFun k (TyFun a6989586621680821555 (Maybe a6989586621680821555) -> Type) -> Type) (a_69895866216808223916989586621680822396 :: k) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680822397MkJustSym0 :: TyFun k (TyFun a6989586621680821555 (Maybe a6989586621680821555) -> Type) -> Type) (a_69895866216808223916989586621680822396 :: k) = Let6989586621680822397MkJustSym1 a_69895866216808223916989586621680822396 :: TyFun a6989586621680821555 (Maybe a6989586621680821555) -> Type | |
type Apply (Foldr_6989586621680822439Sym1 a6989586621680822445 :: TyFun b (Maybe a ~> b) -> Type) (a6989586621680822446 :: b) | |
type Apply (Foldl_6989586621680822455Sym1 a6989586621680822461 :: TyFun b (Maybe a ~> b) -> Type) (a6989586621680822462 :: b) | |
type Apply (Lambda_6989586621680700392Sym0 :: TyFun k (TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) (a6989586621680700390 :: k) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Lambda_6989586621680700471Sym0 :: TyFun k (TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) -> Type) (a6989586621680700469 :: k) | |
Defined in Data.Singletons.Prelude.Monoid | |
type Apply (Let6989586621680822283MfSym1 f6989586621680822281 :: TyFun k (TyFun k2 (TyFun (Maybe k3) (Maybe k2) -> Type) -> Type) -> Type) (xs6989586621680822282 :: k) | |
type Apply (Let6989586621680822304MfSym1 f6989586621680822302 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) (xs6989586621680822303 :: k) | |
type Apply (Let6989586621680822283MfSym2 f6989586621680822281 xs6989586621680822282 :: TyFun k2 (TyFun (Maybe k3) (Maybe k2) -> Type) -> Type) (a6989586621680822284 :: k2) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Eval (FoldMap f ('Just x) :: a2 -> Type) | |
type Eval (FoldMap f ('Nothing :: Maybe a1) :: a2 -> Type) | |
type Eval (Foldr f y ('Just x) :: a2 -> Type) | |
type Eval (Foldr f y ('Nothing :: Maybe a1) :: a2 -> Type) | |
type Rep (Maybe a) | |
Defined in GHC.Generics | |
type MEmpty | |
Defined in Fcf.Class.Monoid | |
type Index (Maybe a) | |
Defined in Control.Lens.At | |
type IxValue (Maybe a) | |
Defined in Control.Lens.At | |
type Mempty | |
Defined in Data.Singletons.Prelude.Monoid | |
type Sing | |
Defined in Data.Singletons.Prelude.Instances | |
type Demote (Maybe a) | |
Defined in Data.Singletons.Prelude.Instances | |
type Element (Maybe a) | |
Defined in Universum.Container.Class | |
type DemoteRep (Maybe a) | |
Defined in GHC.Generics | |
data Sing (b :: Maybe a) | |
type TypeDocFieldDescriptions (Maybe a) | |
Defined in Michelson.Typed.Haskell.Doc | |
type ToT (Maybe a) | |
Defined in Michelson.Typed.Haskell.Value | |
type Rep1 Maybe | |
type Mconcat (arg :: [Maybe a]) | |
type Show_ (arg :: Maybe a) | |
type Sconcat (arg :: NonEmpty (Maybe a)) | |
type Mappend (arg1 :: Maybe a) (arg2 :: Maybe a) | |
type ShowList (arg1 :: [Maybe a]) arg2 | |
type (a2 :: Maybe a1) <> (a3 :: Maybe a1) | |
type Empty | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Mzero | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Min (arg1 :: Maybe a) (arg2 :: Maybe a) | |
type Max (arg1 :: Maybe a) (arg2 :: Maybe a) | |
type (arg1 :: Maybe a) >= (arg2 :: Maybe a) | |
type (arg1 :: Maybe a) > (arg2 :: Maybe a) | |
type (arg1 :: Maybe a) <= (arg2 :: Maybe a) | |
type (arg1 :: Maybe a) < (arg2 :: Maybe a) | |
type Compare (a2 :: Maybe a1) (a3 :: Maybe a1) | |
type (x :: Maybe a) /= (y :: Maybe a) | |
type (a2 :: Maybe a1) == (b :: Maybe a1) | |
Defined in Data.Singletons.Prelude.Eq | |
type HKD Maybe (a :: Type) | |
Defined in Data.Vinyl.XRec | |
type ShowsPrec a2 (a3 :: Maybe a1) a4 | |
type Fail a2 | |
type (a2 :: Maybe a1) <|> (a3 :: Maybe a1) | |
type Mplus (arg1 :: Maybe a) (arg2 :: Maybe a) | |
type (a2 :: Maybe a1) <> ('Nothing :: Maybe a1) | |
Defined in Fcf.Class.Monoid | |
type Apply (FromJustSym0 :: TyFun (Maybe a) a -> Type) (a6989586621679958799 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (FromJustSym0 :: TyFun (Maybe a) a -> Type) (a6989586621679958799 :: Maybe a) = FromJustSym1 a6989586621679958799 | |
type Apply (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679958803 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (IsNothingSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679958803 :: Maybe a) = IsNothingSym1 a6989586621679958803 | |
type Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679958806 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (IsJustSym0 :: TyFun (Maybe a) Bool -> Type) (a6989586621679958806 :: Maybe a) = IsJustSym1 a6989586621679958806 | |
type Apply (FromMaybeSym1 a6989586621679958789 :: TyFun (Maybe a) a -> Type) (a6989586621679958790 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (FromMaybeSym1 a6989586621679958789 :: TyFun (Maybe a) a -> Type) (a6989586621679958790 :: Maybe a) = FromMaybeSym2 a6989586621679958789 a6989586621679958790 | |
type Apply (Compare_6989586621679847835Sym1 a6989586621679847840 :: TyFun (Maybe a) Ordering -> Type) (a6989586621679847841 :: Maybe a) | |
type Apply (FoldMap_6989586621680822423Sym1 a6989586621680822432 :: TyFun (Maybe a) m -> Type) (a6989586621680822433 :: Maybe a) | |
type Apply (Maybe_Sym2 a6989586621679957223 a6989586621679957224 :: TyFun (Maybe a) b -> Type) (a6989586621679957225 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym2 a6989586621679957223 a6989586621679957224 :: TyFun (Maybe a) b -> Type) (a6989586621679957225 :: Maybe a) = Maybe_Sym3 a6989586621679957223 a6989586621679957224 a6989586621679957225 | |
type Apply (Foldr_6989586621680822439Sym2 a6989586621680822445 a6989586621680822446 :: TyFun (Maybe a) b -> Type) (a6989586621680822447 :: Maybe a) | |
type Apply (Foldl_6989586621680822455Sym2 a6989586621680822461 a6989586621680822462 :: TyFun (Maybe a) b -> Type) (a6989586621680822463 :: Maybe a) | |
type ('Nothing :: Maybe a) <> (b :: Maybe a) | |
Defined in Fcf.Class.Monoid | |
type Apply (Fail_6989586621680155600Sym0 :: TyFun [Char] (Maybe a) -> Type) (a6989586621680155604 :: [Char]) | |
type Apply (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) (a6989586621679958774 :: [Maybe a]) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (CatMaybesSym0 :: TyFun [Maybe a] [a] -> Type) (a6989586621679958774 :: [Maybe a]) = CatMaybesSym1 a6989586621679958774 | |
type Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) (a6989586621679958780 :: [a]) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (ListToMaybeSym0 :: TyFun [a] (Maybe a) -> Type) (a6989586621679958780 :: [a]) = ListToMaybeSym1 a6989586621679958780 | |
type Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) (a6989586621679958784 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (MaybeToListSym0 :: TyFun (Maybe a) [a] -> Type) (a6989586621679958784 :: Maybe a) = MaybeToListSym1 a6989586621679958784 | |
type Apply (MaxInternalSym0 :: TyFun (Maybe a) (MaxInternal a) -> Type) (a6989586621680811862 :: Maybe a) | |
type Apply (MinInternalSym0 :: TyFun (Maybe a) (MinInternal a) -> Type) (a6989586621680811865 :: Maybe a) | |
type Apply (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) (a6989586621680249373 :: Maybe a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (OptionSym0 :: TyFun (Maybe a) (Option a) -> Type) (a6989586621680249373 :: Maybe a) = OptionSym1 a6989586621680249373 | |
type Apply (FirstSym0 :: TyFun (Maybe a) (First a) -> Type) (a6989586621680694166 :: Maybe a) | |
type Apply (LastSym0 :: TyFun (Maybe a) (Last a) -> Type) (a6989586621680694193 :: Maybe a) | |
type Apply (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) (a6989586621680249376 :: Option a) | |
Defined in Data.Singletons.Prelude.Semigroup.Internal type Apply (GetOptionSym0 :: TyFun (Option a) (Maybe a) -> Type) (a6989586621680249376 :: Option a) = GetOptionSym1 a6989586621680249376 | |
type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680694169 :: First a) | |
Defined in Data.Singletons.Prelude.Monoid type Apply (GetFirstSym0 :: TyFun (First a) (Maybe a) -> Type) (a6989586621680694169 :: First a) = GetFirstSym1 a6989586621680694169 | |
type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680694196 :: Last a) | |
Defined in Data.Singletons.Prelude.Monoid type Apply (GetLastSym0 :: TyFun (Last a) (Maybe a) -> Type) (a6989586621680694196 :: Last a) = GetLastSym1 a6989586621680694196 | |
type Apply (GetMaxInternalSym0 :: TyFun (MaxInternal a) (Maybe a) -> Type) (a6989586621680811872 :: MaxInternal a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (GetMinInternalSym0 :: TyFun (MinInternal a) (Maybe a) -> Type) (a6989586621680811868 :: MinInternal a) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Apply (FindSym1 a6989586621680379018 :: TyFun [a] (Maybe a) -> Type) (a6989586621680379019 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (FindIndexSym1 a6989586621680378991 :: TyFun [a] (Maybe Nat) -> Type) (a6989586621680378992 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (FindIndexSym1 a6989586621680378991 :: TyFun [a] (Maybe Nat) -> Type) (a6989586621680378992 :: [a]) = FindIndexSym2 a6989586621680378991 a6989586621680378992 | |
type Apply (ElemIndexSym1 a6989586621680379009 :: TyFun [a] (Maybe Nat) -> Type) (a6989586621680379010 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (ElemIndexSym1 a6989586621680379009 :: TyFun [a] (Maybe Nat) -> Type) (a6989586621680379010 :: [a]) = ElemIndexSym2 a6989586621680379009 a6989586621680379010 | |
type Apply (StripPrefixSym1 a6989586621680498340 :: TyFun [a] (Maybe [a]) -> Type) (a6989586621680498341 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (StripPrefixSym1 a6989586621680498340 :: TyFun [a] (Maybe [a]) -> Type) (a6989586621680498341 :: [a]) = StripPrefixSym2 a6989586621680498340 a6989586621680498341 | |
type Apply (TFHelper_6989586621680072421Sym1 a6989586621680072426 :: TyFun (Maybe a) (Maybe a) -> Type) (a6989586621680072427 :: Maybe a) | |
type Apply (TFHelper_6989586621680240170Sym1 a6989586621680240175 :: TyFun (Maybe a) (Maybe a) -> Type) (a6989586621680240176 :: Maybe a) | |
type Apply (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) (a6989586621681492086 :: f a) | |
Defined in Data.Singletons.Prelude.Applicative type Apply (OptionalSym0 :: TyFun (f a) (f (Maybe a)) -> Type) (a6989586621681492086 :: f a) = OptionalSym1 a6989586621681492086 | |
type Apply (LookupSym1 a6989586621680378716 :: TyFun [(a, b)] (Maybe b) -> Type) (a6989586621680378717 :: [(a, b)]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (LookupSym1 a6989586621680378716 :: TyFun [(a, b)] (Maybe b) -> Type) (a6989586621680378717 :: [(a, b)]) = LookupSym2 a6989586621680378716 a6989586621680378717 | |
type Apply (Fmap_6989586621680072040Sym1 a6989586621680072045 :: TyFun (Maybe a) (Maybe b) -> Type) (a6989586621680072046 :: Maybe a) | |
type Apply (TFHelper_6989586621680072052Sym1 a6989586621680072057 :: TyFun (Maybe b) (Maybe a) -> Type) (a6989586621680072058 :: Maybe b) | |
type Apply (TFHelper_6989586621680072173Sym1 a6989586621680072178 :: TyFun (Maybe a) (Maybe b) -> Type) (a6989586621680072179 :: Maybe a) | |
type Apply (TFHelper_6989586621680072200Sym1 a6989586621680072205 :: TyFun (Maybe b) (Maybe b) -> Type) (a6989586621680072206 :: Maybe b) | |
type Apply (TFHelper_6989586621680072345Sym1 a6989586621680072354 :: TyFun (Maybe b) (Maybe b) -> Type) (a6989586621680072355 :: Maybe b) | |
type Apply (FindSym1 a6989586621680821889 :: TyFun (t a) (Maybe a) -> Type) (a6989586621680821890 :: t a) | |
type Apply (Traverse_6989586621681087642Sym1 a6989586621681087647 :: TyFun (Maybe a) (f (Maybe b)) -> Type) (a6989586621681087648 :: Maybe a) | |
type Apply (LiftA2_6989586621680072186Sym2 a6989586621680072192 a6989586621680072193 :: TyFun (Maybe b) (Maybe c) -> Type) (a6989586621680072194 :: Maybe b) | |
Defined in Data.Singletons.Prelude.Monad.Internal | |
type Apply (Let6989586621680822283MfSym3 f6989586621680822281 xs6989586621680822282 a6989586621680822284 :: TyFun (Maybe k3) (Maybe k2) -> Type) (a6989586621680822285 :: Maybe k3) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Eval (Init '[a2] :: Maybe [a1] -> Type) | |
type Eval (Init ('[] :: [a]) :: Maybe [a] -> Type) | |
type Eval (Tail (_a ': as) :: Maybe [a] -> Type) | |
type Eval (Tail ('[] :: [a]) :: Maybe [a] -> Type) | |
type Eval (Init (a2 ': (b ': as)) :: Maybe [a1] -> Type) | |
type Eval (Head (a2 ': _as) :: Maybe a1 -> Type) | |
type Eval (Head ('[] :: [a]) :: Maybe a -> Type) | |
type Eval (Last (a2 ': (b ': as)) :: Maybe a1 -> Type) | |
type Eval (Last '[a2] :: Maybe a1 -> Type) | |
type Eval (Last ('[] :: [a]) :: Maybe a -> Type) | |
type Apply (StripPrefixSym0 :: TyFun [a] ([a] ~> Maybe [a]) -> Type) (a6989586621680498340 :: [a]) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (StripPrefixSym0 :: TyFun [a] ([a] ~> Maybe [a]) -> Type) (a6989586621680498340 :: [a]) = StripPrefixSym1 a6989586621680498340 | |
type Apply (TFHelper_6989586621680072421Sym0 :: TyFun (Maybe a) (Maybe a ~> Maybe a) -> Type) (a6989586621680072426 :: Maybe a) | |
type Apply (Compare_6989586621679847835Sym0 :: TyFun (Maybe a) (Maybe a ~> Ordering) -> Type) (a6989586621679847840 :: Maybe a) | |
type Apply (TFHelper_6989586621680240170Sym0 :: TyFun (Maybe a) (Maybe a ~> Maybe a) -> Type) (a6989586621680240175 :: Maybe a) | |
type ('Just a2 :: Maybe a1) <> ('Just b :: Maybe a1) | |
type Apply (ShowsPrec_6989586621680653283Sym1 a6989586621680653293 :: TyFun (Maybe a) (Symbol ~> Symbol) -> Type) (a6989586621680653294 :: Maybe a) | |
type Apply (TFHelper_6989586621680072200Sym0 :: TyFun (Maybe a) (Maybe b ~> Maybe b) -> Type) (a6989586621680072205 :: Maybe a) | |
type Apply (TFHelper_6989586621680072334Sym0 :: TyFun (Maybe a) ((a ~> Maybe b) ~> Maybe b) -> Type) (a6989586621680072339 :: Maybe a) | |
type Apply (TFHelper_6989586621680072345Sym0 :: TyFun (Maybe a) (Maybe b ~> Maybe b) -> Type) (a6989586621680072354 :: Maybe a) | |
type Apply (TFHelper_6989586621680072173Sym0 :: TyFun (Maybe (a ~> b)) (Maybe a ~> Maybe b) -> Type) (a6989586621680072178 :: Maybe (a ~> b)) | |
type Apply (LiftA2_6989586621680072186Sym1 a6989586621680072192 :: TyFun (Maybe a) (Maybe b ~> Maybe c) -> Type) (a6989586621680072193 :: Maybe a) | |
type Apply (Let6989586621680822304MfSym2 f6989586621680822302 xs6989586621680822303 :: TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) (a6989586621680822305 :: Maybe k2) | |
Defined in Data.Singletons.Prelude.Foldable | |
type Eval (FindIndex p (a2 ': as) :: Maybe Nat -> Type) | |
type Eval (FindIndex _p ('[] :: [a]) :: Maybe Nat -> Type) | |
type Eval (NumIter a s :: Maybe (k, Nat) -> Type) | |
type Eval (Find p (a2 ': as) :: Maybe a1 -> Type) | |
type Eval (Find _p ('[] :: [a]) :: Maybe a -> Type) | |
type Eval (Lookup a as :: Maybe b -> Type) | |
type Eval (Map f ('Just a3) :: Maybe a2 -> Type) | |
type Eval (Map f ('Nothing :: Maybe a) :: Maybe b -> Type) | |
type Eval ('Just x <|> _1 :: Maybe a -> Type) | |
type Eval (('Nothing :: Maybe a) <|> m :: Maybe a -> Type) | |
type Apply (TFHelper_6989586621680072334Sym1 a6989586621680072339 :: TyFun (a ~> Maybe b) (Maybe b) -> Type) (a6989586621680072340 :: a ~> Maybe b) | |
type Apply (FindSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe a) -> Type) (a6989586621680379018 :: a ~> Bool) | |
type Apply (FindIndexSym0 :: TyFun (a ~> Bool) ([a] ~> Maybe Nat) -> Type) (a6989586621680378991 :: a ~> Bool) | |
Defined in Data.Singletons.Prelude.List.Internal | |
type Apply (Fmap_6989586621680072040Sym0 :: TyFun (a ~> b) (Maybe a ~> Maybe b) -> Type) (a6989586621680072045 :: a ~> b) | |
type Apply (MapMaybeSym0 :: TyFun (a ~> Maybe b) ([a] ~> [b]) -> Type) (a6989586621679958759 :: a ~> Maybe b) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (MapMaybeSym0 :: TyFun (a ~> Maybe b) ([a] ~> [b]) -> Type) (a6989586621679958759 :: a ~> Maybe b) = MapMaybeSym1 a6989586621679958759 | |
type Apply (UnfoldrSym0 :: TyFun (b ~> Maybe (a, b)) (b ~> [a]) -> Type) (a6989586621680379408 :: b ~> Maybe (a, b)) | |
Defined in Data.Singletons.Prelude.List.Internal type Apply (UnfoldrSym0 :: TyFun (b ~> Maybe (a, b)) (b ~> [a]) -> Type) (a6989586621680379408 :: b ~> Maybe (a, b)) = UnfoldrSym1 a6989586621680379408 | |
type Apply (FindSym0 :: TyFun (a ~> Bool) (t a ~> Maybe a) -> Type) (a6989586621680821889 :: a ~> Bool) | |
type Apply (FoldMap_6989586621680822423Sym0 :: TyFun (a ~> m) (Maybe a ~> m) -> Type) (a6989586621680822432 :: a ~> m) | |
type Apply (Foldr_6989586621680822439Sym0 :: TyFun (a ~> (b ~> b)) (b ~> (Maybe a ~> b)) -> Type) (a6989586621680822445 :: a ~> (b ~> b)) | |
type Apply (Foldl_6989586621680822455Sym0 :: TyFun (b ~> (a ~> b)) (b ~> (Maybe a ~> b)) -> Type) (a6989586621680822461 :: b ~> (a ~> b)) | |
type Apply (Traverse_6989586621681087642Sym0 :: TyFun (a ~> f b) (Maybe a ~> f (Maybe b)) -> Type) (a6989586621681087647 :: a ~> f b) | |
type Apply (LiftA2_6989586621680072186Sym0 :: TyFun (a ~> (b ~> c)) (Maybe a ~> (Maybe b ~> Maybe c)) -> Type) (a6989586621680072192 :: a ~> (b ~> c)) | |
type Apply (Maybe_Sym1 a6989586621679957223 :: TyFun (a ~> b) (Maybe a ~> b) -> Type) (a6989586621679957224 :: a ~> b) | |
Defined in Data.Singletons.Prelude.Maybe type Apply (Maybe_Sym1 a6989586621679957223 :: TyFun (a ~> b) (Maybe a ~> b) -> Type) (a6989586621679957224 :: a ~> b) = Maybe_Sym2 a6989586621679957223 a6989586621679957224 | |
type Apply (Let6989586621679958764RsSym0 :: TyFun (a ~> Maybe k1) (TyFun k (TyFun [a] [k1] -> Type) -> Type) -> Type) (f6989586621679958761 :: a ~> Maybe k1) | |
type Apply (Let6989586621680822283MfSym0 :: TyFun (k2 ~> (k3 ~> k2)) (TyFun k (TyFun k2 (TyFun (Maybe k3) (Maybe k2) -> Type) -> Type) -> Type) -> Type) (f6989586621680822281 :: k2 ~> (k3 ~> k2)) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680822283MfSym0 :: TyFun (k2 ~> (k3 ~> k2)) (TyFun k (TyFun k2 (TyFun (Maybe k3) (Maybe k2) -> Type) -> Type) -> Type) -> Type) (f6989586621680822281 :: k2 ~> (k3 ~> k2)) = Let6989586621680822283MfSym1 f6989586621680822281 :: TyFun k (TyFun k2 (TyFun (Maybe k3) (Maybe k2) -> Type) -> Type) -> Type | |
type Apply (Let6989586621680822304MfSym0 :: TyFun (k2 ~> (k3 ~> k3)) (TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680822302 :: k2 ~> (k3 ~> k3)) | |
Defined in Data.Singletons.Prelude.Foldable type Apply (Let6989586621680822304MfSym0 :: TyFun (k2 ~> (k3 ~> k3)) (TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type) -> Type) (f6989586621680822302 :: k2 ~> (k3 ~> k3)) = Let6989586621680822304MfSym1 f6989586621680822302 :: TyFun k (TyFun (Maybe k2) (TyFun k3 (Maybe k3) -> Type) -> Type) -> Type | |
type Apply (Lambda_6989586621680700392Sym1 a6989586621680700390 :: TyFun (k1 ~> First a) (TyFun k1 (Maybe a) -> Type) -> Type) (k6989586621680700391 :: k1 ~> First a) | |
type Apply (Lambda_6989586621680700471Sym1 a6989586621680700469 :: TyFun (k1 ~> Last a) (TyFun k1 (Maybe a) -> Type) -> Type) (k6989586621680700470 :: k1 ~> Last a) | |
type ToT (NamedF Maybe a name) | |
type Unwrappable (NamedF Maybe a name) Source # | |
Defined in Lorentz.Wrappable |
data ContractRef arg #
Instances
Address which remembers the parameter type of the contract it refers to.
It differs from Michelson's contract
type because it cannot contain
entrypoint, and it always refers to entire contract parameter even if this
contract has explicit default entrypoint.
Instances
newtype FutureContract arg Source #
Address associated with value of contract arg
type.
Places where ContractRef
can appear are now severely limited,
this type gives you type-safety of ContractRef
but still can be used
everywhere.
This type is not a full-featured one rather a helper; in particular, once
pushing it on stack, you cannot return it back to Haskell world.
Note that it refers to an entrypoint of the contract, not just the contract
as a whole. In this sense this type differs from TAddress
.
Unlike with ContractRef
, having this type you still cannot be sure that
the referred contract exists and need to perform a lookup before calling it.
Instances
Instances
Eq EpName | |
Ord EpName | |
Show EpName | |
Generic EpName | |
ToJSON EpName | |
Defined in Michelson.Untyped.Entrypoints | |
FromJSON EpName | |
NFData EpName | |
Defined in Michelson.Untyped.Entrypoints | |
Buildable EpName | |
Defined in Michelson.Untyped.Entrypoints | |
HasCLReader EpName | |
Defined in Michelson.Untyped.Entrypoints getMetavar :: String | |
type Rep EpName | |
Defined in Michelson.Untyped.Entrypoints |
type EntrypointCall param arg = EntrypointCallT (ToT param) (ToT arg) #
type SomeEntrypointCall arg = SomeEntrypointCallT (ToT arg) #
Constructors
mt :: QuasiQuoter #
Conversions
coerceContractRef :: ToT a ~ ToT b => ContractRef a -> ContractRef b #
callingTAddress :: forall cp mname. NiceParameterFull cp => TAddress cp -> EntrypointRef mname -> ContractRef (GetEntrypointArgCustom cp mname) Source #
Turn TAddress
to ContractRef
in Haskell world.
This is an analogy of address
to contract
convertion in Michelson world,
thus you have to supply an entrypoint (or call the default one explicitly).
callingDefTAddress :: forall cp. NiceParameterFull cp => TAddress cp -> ContractRef (GetDefaultEntrypointArg cp) Source #
Specification of callTAddress
to call the default entrypoint.
class ToAddress a where Source #
Convert something to Address
in Haskell world.
Use this when you want to access state of the contract and are not interested in calling it.
Instances
ToAddress EpAddress Source # | |
ToAddress Address Source # | |
ToAddress (ContractRef cp) Source # | |
Defined in Lorentz.Address toAddress :: ContractRef cp -> Address Source # | |
ToAddress (FutureContract cp) Source # | |
Defined in Lorentz.Address toAddress :: FutureContract cp -> Address Source # | |
ToAddress (TAddress cp) Source # | |
class ToTAddress (cp :: Type) (a :: Type) where Source #
Convert something referring to a contract (not specific entrypoint)
to TAddress
in Haskell world.
toTAddress :: a -> TAddress cp Source #
Instances
ToTAddress cp Address Source # | |
Defined in Lorentz.Address toTAddress :: Address -> TAddress cp Source # | |
cp ~ cp' => ToTAddress cp (TAddress cp') Source # | |
Defined in Lorentz.Address toTAddress :: TAddress cp' -> TAddress cp Source # |
class ToContractRef (cp :: Type) (contract :: Type) where Source #
Convert something to ContractRef
in Haskell world.
toContractRef :: HasCallStack => contract -> ContractRef cp Source #
Instances
(NiceParameter cp, cp ~ cp') => ToContractRef cp (FutureContract cp') Source # | |
Defined in Lorentz.Address toContractRef :: FutureContract cp' -> ContractRef cp Source # | |
cp ~ cp' => ToContractRef cp (ContractRef cp') Source # | |
Defined in Lorentz.Address toContractRef :: ContractRef cp' -> ContractRef cp Source # | |
(FailWhen cond msg, cond ~ (CanHaveEntrypoints cp && Not (ParameterEntrypointsDerivation cp == EpdNone)), msg ~ (((('Text "Cannot apply `ToContractRef` to `TAddress`" :$$: 'Text "Consider using call(Def)TAddress first`") :$$: 'Text "(or if you know your parameter type is primitive,") :$$: 'Text " make sure typechecker also knows about that)") :$$: (('Text "For parameter `" :<>: 'ShowType cp) :<>: 'Text "`")), cp ~ arg, NiceParameter arg, NiceParameterFull cp, GetDefaultEntrypointArg cp ~ cp) => ToContractRef arg (TAddress cp) Source # | |
Defined in Lorentz.Address toContractRef :: TAddress cp -> ContractRef arg Source # |
class FromContractRef (cp :: Type) (contract :: Type) where Source #
Convert something from ContractAddr
in Haskell world.
fromContractRef :: ContractRef cp -> contract Source #
Instances
FromContractRef cp Address Source # | |
Defined in Lorentz.Address fromContractRef :: ContractRef cp -> Address Source # | |
FromContractRef cp EpAddress Source # | |
Defined in Lorentz.Address fromContractRef :: ContractRef cp -> EpAddress Source # | |
cp ~ cp' => FromContractRef cp (FutureContract cp') Source # | |
Defined in Lorentz.Address fromContractRef :: ContractRef cp -> FutureContract cp' Source # | |
cp ~ cp' => FromContractRef cp (ContractRef cp') Source # | |
Defined in Lorentz.Address fromContractRef :: ContractRef cp -> ContractRef cp' Source # |
convertContractRef :: forall cp contract2 contract1. (ToContractRef cp contract1, FromContractRef cp contract2) => contract1 -> contract2 Source #
Misc
Conversion of values to readable String
s.
Derived instances of Show
have the following properties, which
are compatible with derived instances of Read
:
- The result of
show
is a syntactically correct Haskell expression containing only constants, given the fixity declarations in force at the point where the type is declared. It contains only the constructor names defined in the data type, parentheses, and spaces. When labelled constructor fields are used, braces, commas, field names, and equal signs are also used. - If the constructor is defined to be an infix operator, then
showsPrec
will produce infix applications of the constructor. - the representation will be enclosed in parentheses if the
precedence of the top-level constructor in
x
is less thand
(associativity is ignored). Thus, ifd
is0
then the result is never surrounded in parentheses; ifd
is11
it is always surrounded in parentheses, unless it is an atomic expression. - If the constructor is defined using record syntax, then
show
will produce the record-syntax form, with the fields given in the same order as the original declaration.
For example, given the declarations
infixr 5 :^: data Tree a = Leaf a | Tree a :^: Tree a
the derived instance of Show
is equivalent to
instance (Show a) => Show (Tree a) where showsPrec d (Leaf m) = showParen (d > app_prec) $ showString "Leaf " . showsPrec (app_prec+1) m where app_prec = 10 showsPrec d (u :^: v) = showParen (d > up_prec) $ showsPrec (up_prec+1) u . showString " :^: " . showsPrec (up_prec+1) v where up_prec = 5
Note that right-associativity of :^:
is ignored. For example,
produces the stringshow
(Leaf 1 :^: Leaf 2 :^: Leaf 3)"Leaf 1 :^: (Leaf 2 :^: Leaf 3)"
.
Instances
A class for types with a default value.
Nothing
Instances
data Label (name :: Symbol) where #
Label :: forall (name :: Symbol). KnownSymbol name => Label name |
Instances
(KnownSymbol name, s ~ name) => IsLabel s (Label name) | |
Defined in Util.Label | |
Eq (Label name) | |
Show (Label name) | |
Buildable (Label name) | |
Defined in Util.Label |
newtype PrintAsValue a Source #
Provides Buildable
instance that prints Lorentz value via Michelson's
Value
.
Result won't be very pretty, but this avoids requiring Show
or
Buildable
instances.
Instances
NicePrintedValue a => Buildable (PrintAsValue a) Source # | |
Defined in Lorentz.Value build :: PrintAsValue a -> Builder # |