Copyright | (c) 2016 Stephen Diehl (c) 2016-2018 Serokell (c) 2018-2023 Kowainik |
---|---|
License | MIT |
Maintainer | Kowainik <xrom.xkov@gmail.com> |
Stability | Stable |
Portability | Portable |
Safe Haskell | Safe |
Language | Haskell2010 |
Relude.Bool.Reexport
Contents
- Data.Bool reexports
- Control.Monad reexports
Description
Reexports functions to work with Bool
type.
Data.Bool reexports
Instances
Data Bool | |||||
Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bool -> c Bool gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bool dataTypeOf :: Bool -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bool) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bool) gmapT :: (forall b. Data b => b -> b) -> Bool -> Bool gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bool -> r gmapQ :: (forall d. Data d => d -> u) -> Bool -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Bool -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bool -> m Bool gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bool -> m Bool | |||||
Storable Bool | |||||
Defined in Foreign.Storable | |||||
Bits Bool | |||||
Defined in GHC.Bits | |||||
FiniteBits Bool | |||||
Defined in GHC.Bits Methods finiteBitSize :: Bool -> Int countLeadingZeros :: Bool -> Int countTrailingZeros :: Bool -> Int | |||||
Bounded Bool | |||||
Enum Bool | |||||
Generic Bool | |||||
Defined in GHC.Generics Associated Types
| |||||
SingKind Bool | |||||
Defined in GHC.Generics Associated Types
| |||||
Ix Bool | |||||
Read Bool | |||||
Show Bool | |||||
NFData Bool | |||||
Defined in Control.DeepSeq | |||||
Eq Bool | |||||
Ord Bool | |||||
Hashable Bool | |||||
Defined in Data.Hashable.Class | |||||
SingI 'False | |||||
Defined in GHC.Generics | |||||
SingI 'True | |||||
Defined in GHC.Generics | |||||
Lift Bool | |||||
type DemoteRep Bool | |||||
Defined in GHC.Generics | |||||
type Rep Bool | |||||
data Sing (a :: Bool) | |||||
Control.Monad reexports
guard :: Alternative f => Bool -> f () #
when :: Applicative f => Bool -> f () -> f () #
unless :: Applicative f => Bool -> f () -> f () #